456 search results - page 2 / 92 » Automated Generation of Context-Aware Tests |
ATAL
2008
Springer
13 years 7 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
DAC
1999
ACM
14 years 6 months ago
1999
ACM
LPAR
2012
Springer
12 years 1 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
SEKE
2010
Springer
13 years 3 months ago
2010
Springer
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
AOSD
2009
ACM
14 years 8 days ago
2009
ACM
Despite the upsurge of interest in the Aspect-Oriented Programming (AOP) paradigm, there remain few results on test data generation techniques for AOP. Furthermore, there is no wo...