615 search results - page 11 / 123 » Automated Test Case Generation from Dynamic Models |
QSIC
2009
IEEE
14 years 2 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
SAFECOMP
2007
Springer
14 years 1 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
ICST
2010
IEEE
13 years 6 months ago
2010
IEEE
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...
ISSTA
2012
ACM
11 years 10 months ago
2012
ACM
Manual debugging is driven by experiments—test runs that narrow down failure causes by systematically confirming or excluding individual factors. The BUGEX approach leverages t...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...