658 search results - page 3 / 132 » Slicing Methods Using Static and Dynamic Analysis Informatio... |
TACAS
2000
Springer
13 years 8 months ago
2000
Springer
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
APSEC
2009
IEEE
13 years 8 months ago
2009
IEEE
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...
ISSTA
1991
ACM
13 years 8 months ago
1991
ACM
Program slices are useful in debugging. Most work on program slicing to date has concentrated on nding slices of programs involving only scalar variables. Pointers and composite v...
CAV
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
EDBT
2010
ACM
14 years 3 days ago
2010
ACM
Information networks are ubiquitous in many applications and analysis on such networks has attracted significant attention in the academic communities. One of the most important ...