default search action
ISSTA 2002: Roma, Italy
- Phyllis G. Frankl:
Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002. ACM 2002, ISBN 1-58113-562-9
Static analysis of Java programs
- Ana L. 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
Validating security properties
- 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
Faults and failure analysis
- 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
Improving testing efficiency
- 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
Specification-based testing
- 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
Conformance and interoperability testing
- 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
Analysis of concurrent programs
- 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
Theory of testing and reability
- Peter G. Bishop:
Rescaling reliability bounds for a new operational profile. 180-190 - Tsong Yueh Chen, T. H. Tse
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. 191-195 - Dick Hamlet:
Continuity in sofware systems. 196-200
ISSTA panel: is ISSTA research relevant to industrial users?
- 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 - Alan 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
Dynamic analysis
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: