3031 search results - page 97 / 607 » Model Driven Testing Based on Test History |
103
Voted
SIGSOFT
2000
ACM
15 years 5 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
97
Voted
COMPUTER
2008
15 years 24 days ago
2008
ions and techniques such as activity models, storyboards, and programming by demonstration (Y. Li and J. Landay, "Activity-Based Prototyping of Ubicomp Applications for Long-L...
144
Voted
VLSID
2010
IEEE
14 years 10 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...
124
click to vote
ICST
2009
IEEE
14 years 10 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...
142
Voted
CIBSE
2008
ACM
15 years 2 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...