Inference and Test Generation Using Program Invariants in Chemical Reaction Networks.
Michael C. GertenAlexis L. MarshJames I. LathropMyra B. CohenAndrew S. MinerTitus H. KlingePublished in: ICSE (2022)
Keyphrases
- test generation
- chemical reaction
- symbolic execution
- test cases
- static analysis
- mutation testing
- test sequences
- design automation
- software testing
- probabilistic networks
- quality assurance
- test data generation
- chemical reactions
- bayesian networks
- social networks
- databases
- test suite
- network structure
- regression testing
- pattern matching
- e learning
- machine learning