ISSTA 2002: Roma, Italy

ISSTA 2002, Proceedings of the International Symposium on Software Testing and Analysis, July 22-24, Roma, Italy. ACM, 2002

Static analysis of Java programs

Ana Milanova, Atanas Rountev, Barbara G. Ryder:
Parameterized object sensitivity for points-to and side-effect analyses for Java. 1-11
Alex Groce, Willem Visser:
Model checking Java programs using structural heuristics. 12-21
Donglin Liang, Maikel Pennings, Mary Jean Harrold:
Evaluating the precision of static reference analysis using profiling. 22-32

Gleb Naumovich:
A conservative algorithm for computing the flow of permissions in Java programs. 33-43
Scott D. Stoller:
Domain partitioning for open reactive systems. 44-54

Thomas J. Ostrand, Elaine J. Weyuker:
The distirubtion of faults in a large industrial software system. 55-64
Alessandro Orso, Donglin Liang, Mary Jean Harrold, Richard J. Lipton:
Gamma system: continuous evolution of software after deployment. 65-69
Lionel C. Briand, Yvan Labiche, Hong Sun:
Investigating the use of analysis contracts to support fault isolation in object oriented code. 70-80
Martin Hiller, Arshad Jhumka, Neeraj Suri:
PROPANE: an environment for examining the propagation of errors in software. 81-85

Mustafa M. Tikir, Jeffrey K. Hollingsworth:
Efficient instrumentation for code coverage testing. 86-96
Amitabh Srivastava, Jay Thiagarajan:
Effectively prioritizing tests in development environment. 97-106
Boris Vaysburg, Luay Ho Tahat, Bogdan Korel:
Dependence analysis in reduction of requirement based test suites. 107-111

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes:
Generating finite state machines from abstract state machines. 112-122
Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov:
Korat: automated testing based on Java predicates. 123-133
G. Friedman, Alan Hartman, Kenneth Nagin, T. Shiran:
Projected state machine coverage for software testing. 134-143

Diego Latella, Mieke Massink:
On testing and conformance relations for UML statechart diagrams behaviours. 144-153
Tim Moors, Malathi Veeraraghavan, Zhifeng Tao, Xuan Zheng, Ramesh Badri:
Experiences in automating the testing of SS7 signalling transfer points. 154-158
Rachel Cardell-Oliver:
Conformance test experiments for distributed real-time systems. 159-163

Yung-Pin Cheng:
Refactoring design models for inductive verification. 164-168
Tuba Yavuz-Kahveci, Tevfik Bultan:
Specification, verification, and synthesis of concurrency control components. 169-179

Peter G. Bishop:
Rescaling reliability bounds for a new operational profile. 180-190
Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou:
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. 191-195
Dick Hamlet:
Continuity in sofware systems. 196-200

Antonia Bertolino:
ISSTA 2002 panel: is ISSTA research relevant to industrial users? 201-202
Vincent Encontre:
Is ISSTA research relevant to industrial users? panel - ISSTA 2002: empowering the developer to be a tester too! 203-204
A. Hartman:
Is ISSTA research relevant to industry? 205-206
Emilia Peciola:
Ericsson lab Italy: is ISSTA research relevant to industrial users? 207
Ashok Sreenivas:
Panel discussion: is ISSTA testing research relevant to industrial users? 208-209

Jong-Deok Choi, Andreas Zeller:
Isolating failure-inducing thread schedules. 210-220
John Whaley, Michael C. Martin, Monica S. Lam:
Automatic extraction of object-oriented component interfaces. 218-228
Jeremy W. Nimmer, Michael D. Ernst:
Automatic generation of program specifications. 229-239

Last update Tue Feb 14 04:06:06 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page