6014 search results - page 142 / 1203 » Structural Testing with Use Cases |
108
Voted
TOOLS
2008
IEEE
15 years 9 months ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...
112
click to vote
FASE
2004
Springer
15 years 8 months ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
126
Voted
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
127
click to vote
ISSTA
2000
ACM
15 years 7 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
112
click to vote
STOC
1995
ACM
15 years 6 months ago
1995
ACM
c communication case. This lemma generalizes and abstracts in a very clean form the ``round reduction'' techniques used in many previous lower bound proofs. ] 1998 Academ...