12 search results - page 1 / 3 » Testing-Based Abstractions for Value-Passing Systems |
CONCUR
1994
Springer
13 years 9 months ago
1994
Springer
COMPSAC
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--Test cost minimisation approaches have traditionally been devoted to minimising "execution costs", while maximising coverage or reliability. However, in a runti...
TOPNOC
2008
13 years 5 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
ICECCS
1997
IEEE
13 years 9 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
SEMWEB
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...