3281 search results - page 24 / 657 » An Approach to use Executable Models for Testing |
105
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...
126
click to vote
SIGSOFT
2010
ACM
15 years 10 days ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
122
click to vote
STTT
2008
15 years 2 months ago
2008
Protos is a popular tool for business process modelling used in more than 1500 organizations. It has a built-in Petri-net-based simulation engine which shows key performance indica...
112
click to vote
ENTCS
2007
15 years 2 months ago
2007
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
125
click to vote
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...