Export Citations
1 Results for: Keyword: imperative constraints
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,800,809 records)|Limit your search to The ACM Full-Text Collection (770,533 records)
Select All
- research-articleApril 2018
Korat-API: a framework to enhance korat to better support testing and reliability techniques
SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied ComputingPages 1934–1943https://doi.org/10.1145/3167132.3167339Logical constraints play an important role in software testing and reliability. For example, constraints written by users allow automating test case generation and systematic bug finding, and constraints computed using data-flow of a program allow ...