Experiments with an improved constrained expression toolset

  • Authors:

  • George S. Avrunin;Ugo A. Buy;James C. Corbett;Laura K. Dillon;Jack C. Wileden

  • Affiliations:

  • Department of Mathematics and Statistics, University of Massachusetts at Amherst, Amherst, MA;Department of Electrical Engineering and Computer Science, University of Illinois at Chicago, Box 4348, Chicago, IL;Department of Computer and Information Science, University of Massachusetts at Amherst, Amherst, MA;Department of Computer Science, University of California at Santa Barbara, Santa Barbara, CA;Department of Computer and Information Science, University of Massachusetts at Amherst, Amherst, MA

  • Venue:
  • TAV4 Proceedings of the symposium on Testing, analysis, and verification
  • Year:
  • 1991

Quantified Score

Hi-index 0.00

Visualization

Abstract