2132 search results - page 248 / 427 » Automated software winnowing |
137
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
144
click to vote
FASE
2007
Springer
15 years 11 months ago
2007
Springer
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
133
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
PASTE
2004
ACM
15 years 10 months ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
124
Voted
ISSRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...