Search results for "ISSTA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Yung-Pin Cheng	Refactoring design models for inductive verification.	ISSTA	2002	DBLP DOI BibTeX RDF	concurrency, refactoring, compositional analysis, parameterized system, network invariants
1	Alex Groce, Willem Visser	Model checking Java programs using structural heuristics.	ISSTA	2002	DBLP DOI BibTeX RDF	model checking, testing, heuristics, coverage metrics
1	Tuba Yavuz-Kahveci, Tevfik Bultan	Specification, verification, and synthesis of concurrency control components.	ISSTA	2002	DBLP DOI BibTeX RDF	infinite-state model checking, monitors, specification languages, concurrent programming
1	Mustafa M. Tikir, Jeffrey K. Hollingsworth	Efficient instrumentation for code coverage testing.	ISSTA	2002	DBLP DOI BibTeX RDF	dynamic code deletion, dynamic code patching, on-demand instrumentation, testing, code coverage, dominator tree
1	Alessandro Orso, Donglin Liang, Mary Jean Harrold, Richard J. Lipton	Gamma system: continuous evolution of software after deployment.	ISSTA	2002	DBLP DOI BibTeX RDF
1	Martin Hiller, Arshad Jhumka, Neeraj Suri	PROPANE: an environment for examining the propagation of errors in software.	ISSTA	2002	DBLP DOI BibTeX RDF	error propagation analysis, software reliability, fault injection, software development tools
1	Scott D. Stoller	Domain partitioning for open reactive systems.	ISSTA	2002	DBLP DOI BibTeX RDF
1	Ana L. Milanova, Atanas Rountev, Barbara G. Ryder	Parameterized object sensitivity for points-to and side-effect analyses for Java.	ISSTA	2002	DBLP DOI BibTeX RDF
1	Thomas J. Ostrand, Elaine J. Weyuker	The distirubtion of faults in a large industrial software system.	ISSTA	2002	DBLP DOI BibTeX RDF	software testing, empirical study, software faults, fault-prone, pareto
1	Phyllis G. Frankl (eds.)	Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002	ISSTA	2002	DBLP DOI BibTeX RDF
1	Peter G. Bishop	Rescaling reliability bounds for a new operational profile.	ISSTA	2002	DBLP DOI BibTeX RDF	operational reliability testing, operational profile, worst case bounds
1	Lionel C. Briand, Yvan Labiche, Hong Sun	Investigating the use of analysis contracts to support fault isolation in object oriented code.	ISSTA	2002	DBLP DOI BibTeX RDF	contracts, testability, object-oriented analysis, object-oriented testing
1	Amitabh Srivastava, Jay Thiagarajan	Effectively prioritizing tests in development environment.	ISSTA	2002	DBLP DOI BibTeX RDF	software testing, regression testing, test selection, test prioritization, test minimization
1	Antonia Bertolino	ISSTA 2002 panel: is ISSTA research relevant to industrial users?	ISSTA	2002	DBLP DOI BibTeX RDF
1	Boris Vaysburg, Luay Ho Tahat, Bogdan Korel	Dependence analysis in reduction of requirement based test suites.	ISSTA	2002	DBLP DOI BibTeX RDF	EFSM dependence analysis, EFSM system model, model-based testing, system testing, test suite reduction, interaction pattern
1	Alan Hartman	Is ISSTA research relevant to industry?	ISSTA	2002	DBLP DOI BibTeX RDF
1	Tim Moors, Malathi Veeraraghavan, Zhifeng Tao, Xuan Zheng, Ramesh Badri	Experiences in automating the testing of SS7 signalling transfer points.	ISSTA	2002	DBLP DOI BibTeX RDF	STP, signaling system 7, signalling system 7, automation, SS7
1	Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel	Prioritizing test cases for regression testing.	ISSTA	2000	DBLP DOI BibTeX RDF
1	Craig H. Wittenberg	Progress in testing component-based software (abstract only).	ISSTA	2000	DBLP DOI BibTeX RDF
1	Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil	Verifying properties of process definitions.	ISSTA	2000	DBLP DOI BibTeX RDF
1	David L. Dill	Model checking Java programs (abstract only).	ISSTA	2000	DBLP DOI BibTeX RDF	Java
1	Michael Hind, Anthony Pioli	Which pointer analysis should I use?	ISSTA	2000	DBLP DOI BibTeX RDF	interprocedural pointer analysis, data flow analysis
1	Patrick J. Schroeder, Bogdan Korel	Black-box test reduction using input-output analysis.	ISSTA	2000	DBLP DOI BibTeX RDF	input-output analysis, test reduction, black-box testing, combinatorial testing
1	John Steven, Pravir Chandra, Bob Fleck, Andy Podgurski	jRapture: A Capture/Replay tool for observation-based testing.	ISSTA	2000	DBLP DOI BibTeX RDF	Java, Java, software testing, capture/replay, observation-based testing, execution profiling
1	Daniel Schulz, Frank Mueller 0001	A thread-aware debugger with an open interface.	ISSTA	2000	DBLP DOI BibTeX RDF	active debugging, open interface, concurrency, debugging, threads
1	Jean Hartmann, Claudio Imoberdorf, Michael Meisinger	UML-Based integration testing.	ISSTA	2000	DBLP DOI BibTeX RDF	COM/DCOM, XML, CORBA, test generation, functional testing, distributed components, UML statecharts, test execution
1	Phyllis G. Frankl, Yuetang Deng	Comparison of delivered reliability of branch, data flow and operational testing: A case study.	ISSTA	2000	DBLP DOI BibTeX RDF	software testing, software reliability
1	Jonathan D. Pincus	Analysis is necessary, but far from sufficient: Experiences building and deploying successful tools for developers and testers (abstract only).	ISSTA	2000	DBLP DOI BibTeX RDF
1	Paul Z. Kolano, Richard A. Kemmerer	Classification schemes to aid in the analysis of real-time systems.	ISSTA	2000	DBLP DOI BibTeX RDF	analysis guidance, system classification, real-time systems, formal methods, timing requirements, formal specification and verification, ASTRAL
1	Martin R. Woodward, Zuhoor A. Al-Khanjari	Testability, fault size and the domain-to-range ratio: An eternal triangle.	ISSTA	2000	DBLP DOI BibTeX RDF	domain-to-range ratio, fault size, controllability, observability, testability
1	Dennis K. Peters, David Lorge Parnas	Requirements-based monitors for real-time systems.	ISSTA	2000	DBLP DOI BibTeX RDF	real-time system, automated testing, test oracle, supervisor
1	Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim 0001, Insup Lee 0001, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan 0001	Verisim: Formal analysis of network simulations.	ISSTA	2000	DBLP DOI BibTeX RDF
1	Debra J. Richardson, Mary Jean Harold (eds.)	Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000	ISSTA	2000	DBLP DOI BibTeX RDF
1	Ralf Hildebrandt, Andreas Zeller	Simplifying failure-inducing input.	ISSTA	2000	DBLP DOI BibTeX RDF	automated debugging, combinatorial testing
1	Mangala Gowri Nanda, S. Ramesh 0001	Slicing concurrent programs.	ISSTA	2000	DBLP DOI BibTeX RDF	Static program slicing, concurrency, data dependence
1	Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm	Putting static analysis to work for verification: A case study.	ISSTA	2000	DBLP DOI BibTeX RDF	alloy language, detecting bugs, relational formulas, model checking, testing, static analysis, constraint solvers
1	Stephen F. Siegel, George S. Avrunin	Improving the precision of INCA by preventing spurious cycles.	ISSTA	2000	DBLP DOI BibTeX RDF	INCA, integer programming, cycles, finite-state verification
1	David Chays, Saikat Dan, Phyllis G. Frankl, Filippos I. Vokolos, Elaine J. Weber	A framework for testing database applications.	ISSTA	2000	DBLP DOI BibTeX RDF	database, software testing, test data
1	Ugo A. Buy, Alessandro Orso, Mauro Pezzè	Automated Testing of Classes.	ISSTA	2000	DBLP DOI BibTeX RDF	testing and analysis, testing object-oriented software, data flow analysis, symbolic execution, class testing
1	Lori A. Clarke	Finite state verification: An emerging technology for validating software systems (abstract only).	ISSTA	2000	DBLP DOI BibTeX RDF
1	Daniel Jackson 0001, Mandana Vaziri	Finding bugs with a constraint solver.	ISSTA	2000	DBLP DOI BibTeX RDF	alloy language, detecting bugs, relational formulas, model checking, testing, static analysis, constraint solvers
1	Richard G. Hamlet	On subdomains: Testing, profiles, and components.	ISSTA	2000	DBLP DOI BibTeX RDF
1	Amie L. Souter, Lori L. Pollock	OMEN: A strategy for testing object-oriented software.	ISSTA	2000	DBLP DOI BibTeX RDF
1	Mary Lou Soffa, Michal Young, Will Tracz (eds.)	Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998, Clearwater Beach, Florida, USA, March 2-5, 1998	ISSTA	1998	DBLP DOI BibTeX RDF
1	Mark Molloy, Kristy Andrews, James Herren, David Cutler, Paul Del Vigna	Automatic Interoperability Test Generation for Source-to-Source Translators.	ISSTA	1998	DBLP DOI BibTeX RDF	language conversion, legacy data, source-to-source translation, C++, test generation, automated testing, legacy software
1	Nigel J. Tracey, John A. Clark, Keith Mander	Automated Program Flaw Finding Using Simulated Annealing.	ISSTA	1998	DBLP DOI BibTeX RDF	exception conditions, formal specifications, software testing, simulated annealing, automatic test-case generation, optimisation techniques
1	Thomas J. Ostrand, Aaron Anodide, Herbert Foster, Tarak Goradia	A Visual Test Development Environment for GUI Systems.	ISSTA	1998	DBLP DOI BibTeX RDF	GUI-based system, capture/reply, test maintenance, visual editor, testing, test generation, test coverage, test designer, test scenario
1	Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan	Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft.	ISSTA	1998	DBLP DOI BibTeX RDF
1	James C. Corbett	Constructing Compact Models of Concurrent Java Programs.	ISSTA	1998	DBLP DOI BibTeX RDF	Java, static analysis, finite-state verification, model extraction
1	Brian Mitchell, Steven J. Zeil	An Experiment in Estimating Reliability Growth Under Both Representative and Directed Testing.	ISSTA	1998	DBLP DOI BibTeX RDF	DEBUG
1	Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson	The Most Influential Papers from the ISSTA Research Community (Panel).	ISSTA	1998	DBLP DOI BibTeX RDF
1	Cheer-Sun D. Yang, Amie L. Souter, Lori L. Pollock	All-du-path Coverage for Parallel Programs.	ISSTA	1998	DBLP DOI BibTeX RDF	all-du-path coverage, parallel programming, testing tool
1	Arnaud Gotlieb, Bernard Botella, Michel Rueher	Automatic Test Data Generation Using Constraint Solving Techniques.	ISSTA	1998	DBLP DOI BibTeX RDF	constraint solving techniques, structural testing, global constraints, automatic test data generation
1	Mary Jean Harrold, Gregg Rothermel, Saurabh Sinha	Computation of Interprocedural Control Dependence.	ISSTA	1998	DBLP DOI BibTeX RDF	control and semantic dependence, interprocedual analysis
1	Thomas Ball	On the Limit of Control Flow Analysis for Regression Test Selection.	ISSTA	1998	DBLP DOI BibTeX RDF	profiling, coverage, regression testing, control flow analysis
1	Tevfik Bultan, Richard Gerber 0001, Christopher League	Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.	ISSTA	1998	DBLP DOI BibTeX RDF
1	Ákos Hajnal, István Forgács	An Applicable Test Data Generation Algorithm for Domain Errors.	ISSTA	1998	DBLP DOI BibTeX RDF	border testing, domain testing, testing criterion, software testing, automated test data generation
1	Richard G. Hamlet	What Can We Learn by Testing a Program?	ISSTA	1998	DBLP DOI BibTeX RDF
1	William Chan 0001, Richard J. Anderson, Paul Beame, David Notkin	Improving Efficiency of Symbolic Model Checking for State-Based System Requirements.	ISSTA	1998	DBLP DOI BibTeX RDF	TCAS II, partitioned transition relation, system requirements specification, formal verification, abstraction, binary decision diagrams, statecharts, reachability analysis, symbolic model checking, RSML
1	Bogdan Korel, Ali M. Al-Yami	Automated Regression Test Generation.	ISSTA	1998	DBLP DOI BibTeX RDF
1	Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang	Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem.	ISSTA	1998	DBLP DOI BibTeX RDF	interprocedual data-flow analysis, modification side effects, pointer aliasing, empirical study, C, context sensitivity, flow sensitivity
1	Simeon C. Ntafos	On Random and Partition Testing.	ISSTA	1998	DBLP DOI BibTeX RDF	program testing, random testing, partition testing
1	Pramod V. Koppol, Kuo-Chung Tai	An Incremental Approach to Structural Testing of Concurrent Software.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Juei Chang, Debra J. Richardson, Sriram Sankar	Structural Specification-Based Testing with ADL.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Mats Per Erik Heimdahl	Experiences and Lessons from the Analysis of TCAS II.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas	Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour	Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Joanne M. Atlee, Michael A. Buckley	A Logic-Model Semantics for SCR Software Requirements.	ISSTA	1996	DBLP DOI BibTeX RDF	model checking, reactive systems, formal semantics, software requirements
1	Richard Denney, Richard A. Kemmerer, Nancy G. Leveson, Alberto Savoia	Why State-of-the-Art is not State-of-the-Practice (Panel Abstract).	ISSTA	1996	DBLP DOI BibTeX RDF
1	Inhye Kang, Insup Lee 0001	An Efficient State Space Generation for Analysis of Real-Time Systems.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Richard A. DeMillo, Hsin Pan, Eugene H. Spafford	Critical Slicing for Software Fault Localization.	ISSTA	1996	DBLP DOI BibTeX RDF	critical slicing, static program slicing, testing, debugging, failures, faults, fault localization, mutation analysis, dynamic program slicing
1	Merlin Hughes, P. David Stotts	Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects.	ISSTA	1996	DBLP DOI BibTeX RDF
1	James C. Corbett	Constructing Abstract Models of Concurrent Real-Time Software.	ISSTA	1996	DBLP DOI BibTeX RDF
1	James L. Crowley, James F. Leathrum, K. A. Liburdy	Issues in the Full Scale Use of Formal Methods for Automated Testing.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro	Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Muriel Daran, Pascale Thévenod-Fosse	Software Error Analysis: A Real Case Study Involving Real Faults and Mutations.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Bogdan Korel	Automated Test Data Generation for Programs with Procedures.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Daniel Jackson 0001, Craig Damon	Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Anthony M. Sloane, Jason Holdsworth	Beyond Traditional Program Slicing.	ISSTA	1996	DBLP DOI BibTeX RDF
1	John R. Callahan, Todd L. Montgomery	An Approach to Verification and Validation of a Reliable Multicasting Protocol.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Larry J. Morell, Branson W. Murrill	Using Perturbation Analysis to Measure Variation in the Information Content of Test Sets.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Will Tracz	Test and Analysis of Software Architectures.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Cheer-Sun D. Yang, Lori L. Pollock	Towards a Structural Load Testing Tool.	ISSTA	1996	DBLP DOI BibTeX RDF
1	A. Jefferson Offutt, Jane Huffman Hayes	A Semantic Model of Program Faults.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Richard G. Hamlet	Predicting Dependability by Testing.	ISSTA	1996	DBLP DOI BibTeX RDF
1	A. T. Chamillard, Lori A. Clarke	Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Martina Marré, Antonia Bertolino	Unconstrained Duals and Their Use in Achieving All-Uses Coverage.	ISSTA	1996	DBLP DOI BibTeX RDF
1	William E. Howden, G. M. Shi	Linear and Structural Event Sequence Analysis.	ISSTA	1996	DBLP DOI BibTeX RDF	validation, analysis, event-structures, comments, event-sequence
1	Steve J. Zeil, Will Tracz (eds.)	Proceedings of the 1996 International Symposium on Software Testing and Analysis, ISSTA 1996, San Diego, CA, USA, January 8-10, 1996	ISSTA	1996	DBLP DOI BibTeX RDF
1	Mauro Pezzè, Michal Young	Generation of Multi-Formalism State-Space Analysis Tools.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Mary Jean Harrold, Gregg Rothermel	Separate Computation of Alias Information for Reuse.	ISSTA	1996	DBLP BibTeX RDF
1	Delia I. S. Marx, Phyllis G. Frankl	The Path-Wise Approach to Data Flow Testing with Pointer Variables.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Keith P. Pomakis, Joanne M. Atlee	Reachability Analysis of Feature Interactions: A Progress Report.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Tevfik Bultan, Jeffrey Fischer, Richard Gerber 0001	Compositional Verification by Model Checking for Counter-Examples.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Ernst Siepmann, A. Richard Newton	TOBAC: A Test Case Browser for Testing Object-Oriented Software.	ISSTA	1994	DBLP DOI BibTeX RDF	DEBUG
1	Alberto Avritzer, Elaine J. Weyuker	Generating Test Suites for Software Load Testing.	ISSTA	1994	DBLP DOI BibTeX RDF
1	Antonia Bertolino, Martina Marré	A Meaningful Bound for Branch Testing (Abstract).	ISSTA	1994	DBLP DOI BibTeX RDF
1	István Forgács	The All Program Functions Criterion for Revealing Computation Errors (Abstract).	ISSTA	1994	DBLP DOI BibTeX RDF
1	Michal Young	State-Space Analysis as an Aid to Testing (Abstract).	ISSTA	1994	DBLP DOI BibTeX RDF
1	Timothy J. Shimeall, Michael Friedman, John Chilenski, Jeffrey M. Voas	Views on Software Testability (Panel Abstract).	ISSTA	1994	DBLP DOI BibTeX RDF

Publications at "ISSTA"( http://dblp.L3S.de/Venues/ISSTA )