Travelled to:
1 × United Kingdom
Collaborated with:
S.Schupp S.Weißleder
Talks about:
constraint (1) interfac (1) generat (1) solver (1) activ (1) test (1) data (1) ampl (1) use (1) uml (1)
Person: Felix Kurth
DBLP: Kurth:Felix
Contributed to:
Wrote 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.