Experiments with an Improved Constrained Expression Toolset.
George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden
VenueAISSTA
Year1991
ProceedingsSymposium on Testing, Analysis, and Verification
DBLP recordconf/issta/AvruninBCDW91 ↗
Browse the full ISSTA paper archive.