Conferences in DBLP
Ana Milanova , Atanas Rountev , Barbara G. Ryder Parameterized object sensitivity for points-to and side-effect analyses for Java. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:1-11 [Conf ] Alex Groce , Willem Visser Model checking Java programs using structural heuristics. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:12-21 [Conf ] Donglin Liang , Maikel Pennings , Mary Jean Harrold Evaluating the precision of static reference analysis using profiling. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:22-32 [Conf ] Gleb Naumovich A conservative algorithm for computing the flow of permissions in Java programs. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:33-43 [Conf ] Scott D. Stoller Domain partitioning for open reactive systems. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:44-54 [Conf ] Thomas J. Ostrand , Elaine J. Weyuker The distirubtion of faults in a large industrial software system. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:55-64 [Conf ] Alessandro Orso , Donglin Liang , Mary Jean Harrold , Richard J. Lipton Gamma system: continuous evolution of software after deployment. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:65-69 [Conf ] Lionel C. Briand , Yvan Labiche , Hong Sun Investigating the use of analysis contracts to support fault isolation in object oriented code. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:70-80 [Conf ] Martin Hiller , Arshad Jhumka , Neeraj Suri PROPANE: an environment for examining the propagation of errors in software. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:81-85 [Conf ] Mustafa M. Tikir , Jeffrey K. Hollingsworth Efficient instrumentation for code coverage testing. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:86-96 [Conf ] Amitabh Srivastava , Jay Thiagarajan Effectively prioritizing tests in development environment. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:97-106 [Conf ] Boris Vaysburg , Luay Ho Tahat , Bogdan Korel Dependence analysis in reduction of requirement based test suites. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:107-111 [Conf ] Wolfgang Grieskamp , Yuri Gurevich , Wolfram Schulte , Margus Veanes Generating finite state machines from abstract state machines. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:112-122 [Conf ] Chandrasekhar Boyapati , Sarfraz Khurshid , Darko Marinov Korat: automated testing based on Java predicates. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:123-133 [Conf ] G. Friedman , A. Hartman , K. Nagin , T. Shiran Projected state machine coverage for software testing. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:134-143 [Conf ] Diego Latella , Mieke Massink On testing and conformance relations for UML statechart diagrams behaviours. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:144-153 [Conf ] Tim Moors , Malathi Veeraraghavan , Zhifeng Tao , Xuan Zheng , Ramesh Badri Experiences in automating the testing of SS7 signalling transfer points. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:154-158 [Conf ] Rachel Cardell-Oliver Conformance test experiments for distributed real-time systems. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:159-163 [Conf ] Yung-Pin Cheng Refactoring design models for inductive verification. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:164-168 [Conf ] Tuba Yavuz-Kahveci , Tevfik Bultan Specification, verification, and synthesis of concurrency control components. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:169-179 [Conf ] Peter G. Bishop Rescaling reliability bounds for a new operational profile. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:180-190 [Conf ] Tsong Yueh Chen , T. H. Tse , Zhiquan Zhou Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:191-195 [Conf ] Dick Hamlet Continuity in sofware systems. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:196-200 [Conf ] Antonia Bertolino ISSTA 2002 panel: is ISSTA research relevant to industrial users? [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:201-202 [Conf ] Vincent Encontre Is ISSTA research relevant to industrial users? panel - ISSTA 2002: empowering the developer to be a tester too! [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:203-204 [Conf ] A. Hartman Is ISSTA research relevant to industry? [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:205-206 [Conf ] Emilia Peciola Ericsson lab Italy: is ISSTA research relevant to industrial users? [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:207- [Conf ] Ashok Sreenivas Panel discussion: is ISSTA testing research relevant to industrial users? [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:208-209 [Conf ] Jong-Deok Choi , Andreas Zeller Isolating failure-inducing thread schedules. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:210-220 [Conf ] John Whaley , Michael C. Martin , Monica S. Lam Automatic extraction of object-oriented component interfaces. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:218-228 [Conf ] Jeremy W. Nimmer , Michael D. Ernst Automatic generation of program specifications. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:229-239 [Conf ]