Stem ampl$ (all stems)
1 papers:
- TAP-2014-KurthSW #constraints #generative #interface #process #testing #theorem proving #uml #using
- Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers (FK, SS, SW), pp. 169–186.