6704 search results - page 175 / 1341 » Testing Scenario-Based Models |
157
click to vote
IIWAS
2008
15 years 8 months ago
2008
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become po...
192
click to vote
FUIN
2008
15 years 6 months ago
2008
We study runtime distributions of subsumption testing. On graph data randomly sampled from two different generative models we observe a gradual growth of the tails of the distribut...
212
click to vote
VLSID
2010
IEEE
15 years 4 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
190
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
172
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...