|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 720 occurrences of 401 keywords
|
|
|
Results
Found 1044 publication records. Showing 1044 according to the selection in the facets
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 |
|
Displaying result #901 - #1000 of 1044 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|