Abstract is missing.
- Parameterized object sensitivity for points-to and side-effect analyses for JavaAna Milanova, Atanas Rountev, Barbara G. Ryder. 1-11 [doi]
- Model checking Java programs using structural heuristicsAlex Groce, Willem Visser. 12-21 [doi]
- Evaluating the precision of static reference analysis using profilingDonglin Liang, Maikel Pennings, Mary Jean Harrold. 22-32 [doi]
- A conservative algorithm for computing the flow of permissions in Java programsGleb Naumovich. 33-43 [doi]
- Domain partitioning for open reactive systemsScott D. Stoller. 44-54 [doi]
- The distirubtion of faults in a large industrial software systemThomas J. Ostrand, Elaine J. Weyuker. 55-64 [doi]
- Gamma system: continuous evolution of software after deploymentAlessandro Orso, Donglin Liang, Mary Jean Harrold, Richard J. Lipton. 65-69 [doi]
- Investigating the use of analysis contracts to support fault isolation in object oriented codeLionel C. Briand, Yvan Labiche, Hong Sun. 70-80 [doi]
- PROPANE: an environment for examining the propagation of errors in softwareMartin Hiller, Arshad Jhumka, Neeraj Suri. 81-85 [doi]
- Efficient instrumentation for code coverage testingMustafa M. Tikir, Jeffrey K. Hollingsworth. 86-96 [doi]
- Effectively prioritizing tests in development environmentAmitabh Srivastava, Jay Thiagarajan. 97-106 [doi]
- Dependence analysis in reduction of requirement based test suitesBoris Vaysburg, Luay Ho Tahat, Bogdan Korel. 107-111 [doi]
- Generating finite state machines from abstract state machinesWolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes. 112-122 [doi]
- Korat: automated testing based on Java predicatesChandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov. 123-133 [doi]
- Projected state machine coverage for software testingG. Friedman, A. Hartman, K. Nagin, T. Shiran. 134-143 [doi]
- On testing and conformance relations for UML statechart diagrams behavioursDiego Latella, Mieke Massink. 144-153 [doi]
- Experiences in automating the testing of SS7 signalling transfer pointsTim Moors, Malathi Veeraraghavan, Zhifeng Tao, Xuan Zheng, Ramesh Badri. 154-158 [doi]
- Conformance test experiments for distributed real-time systemsRachel Cardell-Oliver. 159-163 [doi]
- Refactoring design models for inductive verificationYung-Pin Cheng. 164-168 [doi]
- Specification, verification, and synthesis of concurrency control componentsTuba Yavuz-Kahveci, Tevfik Bultan. 169-179 [doi]
- Rescaling reliability bounds for a new operational profilePeter G. Bishop. 180-190 [doi]
- Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testingTsong Yueh Chen, T. H. Tse, Zhiquan Zhou. 191-195 [doi]
- Continuity in sofware systemsDick Hamlet. 196-200 [doi]
- ISSTA 2002 panel: is ISSTA research relevant to industrial users?Antonia Bertolino. 201-202 [doi]
- Is ISSTA research relevant to industry?A. Hartman. 205-206 [doi]
- Ericsson lab Italy: is ISSTA research relevant to industrial users?Emilia Peciola. 207 [doi]
- Panel discussion: is ISSTA testing research relevant to industrial users?Ashok Sreenivas. 208-209 [doi]
- Isolating failure-inducing thread schedulesJong-Deok Choi, Andreas Zeller. 210-220 [doi]
- Automatic extraction of object-oriented component interfacesJohn Whaley, Michael C. Martin, Monica S. Lam. 218-228 [doi]
- Automatic generation of program specificationsJeremy W. Nimmer, Michael D. Ernst. 229-239 [doi]