321
click to vote
ISSTA
16 years 1 months ago
2004 ACM 
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
239
click to vote
ISSTA
16 years 1 months ago
2004 ACM
Object oriented programming promotes reuse of classes in multiple contexts. Thus, a class is designed and implemented with several usage scenarios in mind, some of which possibly ...
230
Voted
ISSTA
16 years 1 months ago
2004 ACM 
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
229
Voted
ISSTA
16 years 1 months ago
2004 ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
227
click to vote
ISSTA
16 years 1 months ago
2004 ACM 
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
|
Software Engineering