Search results for "program testing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Robert S. Matthews, K. H. Muralidhar, Steven Sparks	MAP 2.1 Conformance Testing Tools.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	MAP 2.1 conformance testing tools, run-time components, high-level control tool, document handling tools, manufacturing computer control, protocols, monitoring, software tools, program testing, program testing, ISO, test engines
2	Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith	Query-Driven Program Testing.	VMCAI	2009	DBLP DOI BibTeX RDF
2	Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa	A Demand-Driven Analyzer for Data Flow Testing at the Integration Level.	ICSE	1996	DBLP BibTeX RDF	definition-use pairs, demand-driven analyzer, exhaustive analyzer, incremental analyzer, incremental data-flow updates, large program testing, program procedure interfaces, test case requirements, performance, static analysis, program testing, data flow analysis, unit testing, overhead, integration testing, data flow testing
2	In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong Rae Kwon	Applying Conventional Testing Techniques for Class Testing. (PDF / PS)	COMPSAC	1996	DBLP DOI BibTeX RDF	program testing techniques, class member function testing, code-based testing, formal specification, object-oriented programming, object oriented programming, finite state machines, finite state machines, program testing, symbolic execution, programming theory, specification-based testing, class testing, branch coverage
2	Guido Wirtz	Modularization, re-use and testing for parallel message-passing programs.	HICSS	1995	DBLP DOI BibTeX RDF	parallel message-passing programs, program reuse, parallel program design, imperative message-passing programming language, distributed memory paradigm, graphical constructs, sequential parts, slightly restricted ANSI-C, formal specification, parallel programming, message passing, modularization, requirements, program testing, program testing, software reusability, distributed memory systems, parallel languages, sequential programming
2	David Binkley	Reducing the cost of regression testing by semantics guided test case selection. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	semantics guided test case selection, semantic differences, common execution patterns, interprocedural slice, calling context slice, software maintenance, software maintenance, program testing, program testing, regression testing, cost, software cost estimation, language semantics
2	Erika Nyáry, Harry M. Sneed	Software maintenance offloading at the Union Bank of Switzerland. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	software maintenance offloading, Union Bank of Switzerland, PC-based maintenance workbench, automated aids, program editing, JSP/COBOL host programs, reverse engineering, reverse engineering, graphical user interfaces, software maintenance, program analysis, program testing, program testing, productivity, regression testing, computer aided software engineering, COBOL, systems re-engineering, program diagnostics, structured programming, graphical interface, human resource management, software reengineering, microcomputer applications, bank data processing, mainframe
2	Lunjin Lu, Peter Greenfield	Logic Program Testing Based on Abstract Interpretation.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
2	Samual Bates, Susan Horwitz	Incremental Program Testing Using Program Dependence Graphs.	POPL	1993	DBLP DOI BibTeX RDF
2	Piyu Tripathy, Behçet Sarikaya	Test Generation from LOTOS Specifications.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	LOTOS specifications, formal specification, protocols, finite state machine, specification languages, program testing, program testing, transformation rules, chart, protocol conformance testing
2	Yoshihiro Tohma, Hisashi Yamano, Morio Ohba, Raymond Jacoby	The Estimation of Parameters of the Hypergeometric Distribution and Its Application to the Software Reliability Growth Model.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	program fault estimation, least-squares sum method, software reliability, parameter estimation, parameter estimation, program testing, program testing, program debugging, program debugging, least squares approximations, software reliability growth model, hypergeometric distribution
2	Richard G. Hamlet, Ross Taylor	Partition Testing Does Not Inspire Confidence.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	expected failures, abstract, program testing, program testing, system recovery, failure detection, partition testing, theoretical models
2	Larry J. Morell	A Theory of Fault-Based Testing.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	fault-based program testing, prescribed faults, alternate expressions, program expressions, symbolic alternative, propagation equation, alternative set, finite test, computational complexity, program verification, symbolic execution, symbol manipulation, test set
2	Phyllis G. Frankl, Elaine J. Weyuker	An Applicable Family of Data Flow Testing Criteria.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	definition-use associations, software reliability, program testing, program testing, Pascal, data flow testing, ASSET, adequacy criteria
2	Carlos Urias Munoz	An Approach to Software Product Testing.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	software product testing, self-checking test cases, black box test cases, random test cases, correctness measurements, defect circumvention, sampling, program testing, program testing, automatic test case generation, exhaustive testing
2	Simeon C. Ntafos	A Comparison of Some Structural Testing Strategies.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	program testing, program testing, programming theory, structural testing, structured programming
2	Michal Young, Richard N. Taylor	Combining Static Concurrency Analysis with Symbolic Execution.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	static concurrency analysis, synchronization patterns, path selection mechanism, concurrency analysis, parallel programming, program analysis, program testing, program testing, concurrent programs, symbolic execution, software development environment
2	Robert Cartwright	Formal Program Testing.	POPL	1981	DBLP DOI BibTeX RDF
1	Simone do Rocio Senger de Souza, Paulo S. L. de Souza, Mario C. C. Machado, Mário S. Camillo, Adenilso da Silva Simão, Ed Zaluska	Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality.	SEKE	2011	DBLP BibTeX RDF
1	Yoonsik Cheon, Carmen Avila	Automating Java Program Testing Using OCL and AspectJ.	ITNG	2010	DBLP DOI BibTeX RDF	random testing, Object Constraint Language, AspectJ, pre and postconditions, runtime assertion checking
1	Kenneth L. McMillan	Lazy Annotation for Program Testing and Verification.	CAV	2010	DBLP DOI BibTeX RDF
1	Insang Chung, James M. Bieman	Generating input data structures for automated program testing.	Softw. Test., Verif. Reliab.	2009	DBLP DOI BibTeX RDF
1	Soyeon Park, Shan Lu, Yuanyuan Zhou	CTrigger: exposing atomicity violation bugs from their hiding places.	ASPLOS	2009	DBLP DOI BibTeX RDF	software testing, concurrency bug
1	Elena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum	Saturation-based testing of concurrent programs.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	coverage, concurrent programs, test adequacy criteria
1	Claire Le Goues, Westley Weimer	Specification Mining with Few False Positives.	TACAS	2009	DBLP DOI BibTeX RDF
1	Huo Yan Chen, Lin Tan, T. H. Tse	A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications forObject-Oriented Program Testing.	CSSE	2008	DBLP DOI BibTeX RDF
1	Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum	A (de)constructive approach to program checking.	STOC	2008	DBLP DOI BibTeX RDF	program testing, program correcting, program checking
1	David Monniaux	The pitfalls of verifying floating-point computations.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	AMD64, FPU, IA32, x87, Verification, Static analysis, Abstract interpretation, Program testing, Embedded software, Floating point, Safety-Critical Software, Rounding, PowerPC, IEEE-754
1	Hui Ruan, Jian Zhang 0001, Jun Yan	Test Data Generation for C Programs with String-Handling Functions.	TASE	2008	DBLP DOI BibTeX RDF	program testing, test data generation, character string
1	Shan Lu, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou	Learning from mistakes: a comprehensive study on real world concurrency bug characteristics.	ASPLOS	2008	DBLP DOI BibTeX RDF	bug characteristics, concurrent program, concurrency bug
1	Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier	Towards verification and testing of Java programs.	SAC	2008	DBLP DOI BibTeX RDF	program verification, java programs, object-oriented testing
1	Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai	Test frame updating in CPM testing of Prolog programs.	Software Quality Journal	2008	DBLP DOI BibTeX RDF	CPM testing, Prolog programs, Call patterns semantics, Test frame reduction, Test frame refinement
1	Grégoire Jacob, Hervé Debar, Eric Filiol	Behavioral detection of malware: from a survey towards an established taxonomy.	Journal in Computer Virology	2008	DBLP DOI BibTeX RDF
1	Steve Freeman, Nat Pryce, Joshua Kerievsky	Point/Counterpoint.	IEEE Software	2007	DBLP DOI BibTeX RDF	object-oriented programming, program testing, test-driven development, mock objects
1	Ron Jeffries, Grigori Melnik	Guest Editors' Introduction: TDD--The Art of Fearless Programming.	IEEE Software	2007	DBLP DOI BibTeX RDF	software engineering, program testing, test-driven development, TDD
1	K. Subramani	A Randomized Algorithm for BBCSPs in the Prover-Verifier Model.	ICTAC	2007	DBLP DOI BibTeX RDF
1	Heui-Seok Seo, In Sang Chung, Yong Rae Kwon	Generating Test Sequences from Statecharts for Concurrent Program Testing.	IEICE Transactions	2006	DBLP DOI BibTeX RDF
1	Isabel Michiels, Coen De Roover, Johan Brichau, Elisa Gonzalez Boix, Theo D'Hondt	Program Testing Using High-Level Property-Driven Models.	SEKE	2006	DBLP BibTeX RDF
1	Amit Kumar Mandal, Chittaranjan A. Mandal, Chris Reade	A System for Automatic Evaluation of Programs for Correctness and Performance.	WEBIST (Selected Papers)	2006	DBLP DOI BibTeX RDF	Program Testing, XML Schema, Course Management System, Automatic Evaluation
1	Jun Yan, Zhong Jie Li, Yuan Yuan, Wei Sun 0001, Jian Zhang 0001	BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach.	ISSRE	2006	DBLP DOI BibTeX RDF
1	Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan	Sieve: A Tool for Automatically Detecting Variations Across Program Versions.	ASE	2006	DBLP DOI BibTeX RDF
1	Koushik Sen, Gul Agha	Automated Systematic Testing of Open Distributed Programs.	FASE	2006	DBLP DOI BibTeX RDF
1	Charles Onuwa Uwadia, Odétúnjí A. Odéjobí	Optimal test-case generation for program testing : a Genetic Algorithms approach.	South African Computer Journal	2005	DBLP BibTeX RDF
1	W. Eric Wong, Yu Lei, Xiao Ma	Effective Generation of Test Sequences for Structural Testing of Concurrent Programs.	ICECCS	2005	DBLP DOI BibTeX RDF	concurrent program testing, all-node criterion, all-edge criterion, structural testing, reachability graph
1	Cécile Germain-Renaud, Dephine Monnier-Ragaigne	Grid result checking.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	simulation, grids, result checking
1	Chengying Mao, Yansheng Lu	AICTO: An Improved Algorithm for Planning Inter-class Test Order.	CIT	2005	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	The BLAST Software Verification System.	SPIN	2005	DBLP DOI BibTeX RDF
1	Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan, Narayana Swamy Kutti	The Efficiency of Critical Slicing in Fault Localization.	Software Quality Journal	2005	DBLP DOI BibTeX RDF	strong and weak mutations, dead, live and equivalent mutants, static and dynamic slicing, critical slicing, statement deletion (Sdl), Mothra Mutation Testing System, Fortran-77, mutation testing, mutation operator
1	Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung	Embedded Program Testing in Untestable Mobile Environment: Embedded Program Testing in Untestable Mobile Environment.	APSEC	2004	DBLP DOI BibTeX RDF
1	Chien-Min Wang, Shyh-Fong Hong, Shun-Te Wang, Hsi-Min Chen	A Dual-Mode Exerciser for a Collaborative Computing Environment.	APSEC	2004	DBLP DOI BibTeX RDF
1	Insang Chung	A Static Approach to Automated Test Data Generation in the Presence of Pointers.	ISCIS	2004	DBLP DOI BibTeX RDF
1	Tatiana Sugeta, José Carlos Maldonado, W. Eric Wong	Mutation Testing Applied to Validate SDL Specifications.	TestCom	2004	DBLP DOI BibTeX RDF	SDL, Mutation Testing, Specification Testing
1	Klaus Havelund, Grigore Rosu	An Overview of the Runtime Verification Tool Java PathExplorer.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
1	Michal Young	Symbiosis of Static Analysis and Program Testing.	FASE	2003	DBLP DOI BibTeX RDF
1	Huo Yan Chen, Yu Xia Sun, T. H. Tse	A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software.	COMPSAC	2003	DBLP DOI BibTeX RDF	Object-oriented program testing, OBJSA net, concurrency, non-determinism
1	Bernd Mohr, Jesper Larsson Träff	Initial Design of a Test Suite for Automatic Performance Analysis Tools.	HIPS	2003	DBLP DOI BibTeX RDF
1	Marina Biberstein, Eitan Farchi, Shmuel Ur	Choosing among Alternative Pasts.	IPDPS	2003	DBLP DOI BibTeX RDF
1	Bernd Mohr, Jesper Larsson Träff	Initial Design of a Test Suite for Automatic Performance Analysis Tools.	IPDPS	2003	DBLP DOI BibTeX RDF
1	Arnaud Gotlieb	Exploiting Symmetries to Test Programs.	ISSRE	2003	DBLP DOI BibTeX RDF
1	Tsong Yueh Chen, Fei-Ching Kuo, T. H. Tse, Zhiquan Zhou	Metamorphic Testing and Beyond.	STEP	2003	DBLP DOI BibTeX RDF	Follow-up test cases, semi-proving, successful test case, test case selection strategy, testing oracle, metamorphic testing
1	Ian J. Hayes	Programs as Paths: An Approach to Timing Constraint Analysis.	ICFEM	2003	DBLP DOI BibTeX RDF
1	Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou	Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing.	ISSTA	2002	DBLP DOI BibTeX RDF	global symbolic evaluation, program proving, semi-proving, program testing, symbolic execution, metamorphic testing
1	Tsong Yueh Chen, Jianqiang Feng, T. H. Tse	Metamorphic Testing of Programs on Partial Differential Equations: A Case Study.	COMPSAC	2002	DBLP DOI BibTeX RDF	Program testing, partial differential equations, metamorphic testing, oracle problem
1	Koen Claessen, John Hughes	Testing monadic code with QuickCheck.	SIGPLAN Notices	2002	DBLP DOI BibTeX RDF
1	Simeon C. Ntafos	On Comparisons of Random, Partition, and Proportional Partition Testing.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	proportional partition testing, Program testing, random testing, partition testing
1	Huo Yan Chen, T. H. Tse, Tsong Yueh Chen	TACCLE: a methodology for object-oriented software testing at the class and cluster levels.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	contact specifications, software testing, object-oriented programming, message passing, algebraic specifications
1	Heui-Seok Seo, In Sang Chung, Byeong Man Kim, Yong Rae Kwon	The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs.	APSEC	2001	DBLP DOI BibTeX RDF
1	Jian Zhang 0001, Chen Xu, S. C. Cheung	Automatic Generation of Database Instances for White-box Testing.	COMPSAC	2001	DBLP DOI BibTeX RDF	embedded SQL, software testing, constraint solving, Database applications, automatic test data generation
1	Xia Cai, Michael R. Lyu, Kam-Fai Wong, Roy Ko	Component-based software engineering: technologies, development frameworks, and quality assurance schemes.	APSEC	2000	DBLP DOI BibTeX RDF	software development frameworks, software quality assurance schemes, software development paradigm, component requirement analysis, component certification, component customization, system architecture design, software architecture, software architecture, object-oriented programming, software maintenance, software quality, program testing, certification, system integration, component-based software engineering, subroutines, system testing, system maintenance, off-the-shelf components, component development
1	Karl R. P. H. Leung, Wai Wong	Deriving test cases using class vectors.	APSEC	2000	DBLP DOI BibTeX RDF	software test case derivation, class vectors, human decision-making, vector partitions, formal specification, formal specifications, program testing, pattern classification, vectors, trees (mathematics), tree structure, expressive power, classification trees, Cartesian product
1	Jooyoung Seo, Byoungju Choi	Tailoring test process by using the component-based development paradigm and the XML technology.	APSEC	2000	DBLP DOI BibTeX RDF	IEC standards, software test process customization, component-based development paradigm, project-specific standards, test process meta-model, process tailoring scheme, component-based development customization technique, AutoTP, Rational Objectory process, Extensible Markup Language, software tools, software processes, software process improvement, program testing, computer aided software engineering, subroutines, software products, ISO, software standards, automation tool, ISO standards, XML technology, hypermedia markup languages, IEC
1	Masayuki Hirayama, Jiro Okayasu, Tetsuya Yamamoto, Osamu Mizuno, Tohru Kikuno	Generating test items for checking illegal behaviors in software testing.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	illegal behaviors, test items, electrical appliances, case notation, deviation analysis technique, software fault tree, software testing, fault diagnosis, program testing, software fault tolerance, fault trees
1	Fevzi Belli, Thomas Illgen	Logic Representation of Programs to Detect Arithmetic Anomalies.	EUROMICRO	2000	DBLP DOI BibTeX RDF	Arithmetic Anomalies, Software Legacy and Re-engineering, Logic Programming, Program Transformation, Program Testing
1	Aynur Abdurazik, Paul Ammann, Wei Ding 0003, A. Jefferson Offutt	Evaluation of Three Specification-Based Testing Criteria.	ICECCS	2000	DBLP DOI BibTeX RDF	PROBSUBSUMES measure, specification-mutation coverage, full predicate coverage, transition-pair coverage, program testing, specification-based testing, testing criteria, model checker
1	A. Jefferson Offutt, Aynur Abdurazik, Roger T. Alexander	An Analysis Tool for Coupling-Based Integration Testing.	ICECCS	2000	DBLP DOI BibTeX RDF	instrumentation techniques, Java Tree Builder, Java parser, program testing, integration testing, Java programs, test data, analysis tool
1	Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli	Testing embedded real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product
1	Ahmed Khoumsi	A new method for testing real time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time systems testing, test sequence executability, test sequence execution, real-time systems, constraints, automatic test pattern generation, program testing, timed automata, conformance testing, conformance testing, sequences, test case generation, automata theory, state explosion, test architecture, test sequence generation, continuous-time systems
1	Marisa A. Sanchez, Juan Carlos Augusto	Testing an Implementation of a Temporal Logic Language.	SCCC	2000	DBLP DOI BibTeX RDF	temporal logic language, language implementation testing, Temporal Prolog, Hilbert model, formal specification, logic programming, temporal logic, temporal logic, PROLOG, program testing, specification-based testing, inference rules, axioms, program errors
1	Elaine J. Weyuker, Filippos I. Vokolos	Experience with Performance Testing of Software Systems: Issues, an Approach, and Case Study.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	software testing, program testing, performance testing, Software performance testing
1	Simone do Rocio Senger de Souza, José Carlos Maldonado, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza	Mutation Testing Applied to Estelle Specifications. (PDF / PS)	HICSS	2000	DBLP DOI BibTeX RDF
1	Wu-Chi Chen, Deng-Jyi Chen, Chyan-Goei Chung	An Expert-System Technique for Object-Oriented Program Testing.	JOOP	1999	DBLP BibTeX RDF
1	Chun-Yu Chen, Richard Chapman, Kai H. Chang	Test scenario and regression test suite generation from Object-Z formal specification for object-oriented program testing.	ACM Southeast Regional Conference	1999	DBLP DOI BibTeX RDF
1	Tatiana Gavrilova, Alexander V. Voinov, Irina Lescheva	Learner-Model Approach to Multi-agent Intelligent Distance Learning System for Program Testing.	IEA/AIE	1999	DBLP DOI BibTeX RDF
1	In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee	Testing of Concurrent Programs Based on Message Sequence Charts. (PDF / PS)	PDSE	1999	DBLP DOI BibTeX RDF	Concurrent Program Testing, Constraints-based Testing, Message Sequence Charts
1	Walter J. Gutjahr	Partition Testing vs. Random Testing: The Influence of Uncertainty.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	software testing, fault detection, program testing, random testing, partition testing, Decisions under uncertainty
1	Wu-Chi Chen, Deng-Jyi Chen, David T. K. Chen	An expert system for object-oriented program testing.	Computers and Their Applications	1998	DBLP BibTeX RDF
1	Simeon C. Ntafos	On Random and Partition Testing.	ISSTA	1998	DBLP DOI BibTeX RDF	program testing, random testing, partition testing
1	Dennis K. Peters, David Lorge Parnas	Using Test Oracles Generated from Program Documentation.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	formal specification, finite state machine, Program testing, test oracle
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	Emilio Hernández, Anthony J. G. Hey	White-Box Benchmarking.	Euro-Par	1998	DBLP DOI BibTeX RDF
1	Marie-Claude Gaudel, Perry R. James	Testing Algebraic Data Types and Processes: A Unifying Theory.	Formal Asp. Comput.	1998	DBLP DOI BibTeX RDF	Full LOTOS, Black box testing, Formal testing
1	Erez Buchnik, Shmuel Ur	Compacting regression-suites on-the-fly.	APSEC	1997	DBLP DOI BibTeX RDF	regression suite compaction algorithm, regression suite size minimization, online set-cover, intermediate set size, software testing, coverage, program testing, bugs, computational resources, solution quality
1	Hans Schaefer	Tutorial: organizing, managing and optimizing software testing.	APSEC	1997	DBLP DOI BibTeX RDF	serious defects, testing process control, software testing, program testing, cost, philosophy
1	Tsong Yueh Chen, Man Fai Lau	Two test data selection strategies towards testing of Boolean specifications. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	test data selection strategies, Boolean specification testing, Boolean testing, fault based approach, program testing, test data generation, test case selection, Boolean formulae, Boolean expression
1	João Lourenço, José C. Cunha, Henryk Krawczyk, Piotr Kuzora, Marcin Neyman, Bogdan Wiszniewski	An integrated testing and debugging environment for parallel and distributed programs.	EUROMICRO	1997	DBLP DOI BibTeX RDF	program testing environment, program development process, DDBG, Distributed Debugger, stand-alone tools, intermediate tool, DEIPA, deterministic execution, interactive program analysis, parallel programming, parallel programs, distributed programs, structural testing, testing tool, software integration, program specification, STEPS, debugging tool, debugging environment
1	Hadar Ziv, Debra J. Richardson	Constructing Bayesian-network models of software testing and maintenance uncertainties. (PDF / PS)	ICSM	1997	DBLP DOI BibTeX RDF	Bayesian-network models, software maintenance uncertainties, software testing uncertainties, software developer confidence, software component updating, software uncertainty modelling, Beckman Instruments, software evolution, program testing, regression testing, Bayesian belief networks, Java program, software artifacts, change impact
1	Silvia Regina Vergilio, José Carlos Maldonado, Mario Jino	Constraint Based Selection of Test Sets to Satisfy Structural Software Testing Criteria. (PDF / PS)	SCCC	1997	DBLP DOI BibTeX RDF	constraint based selection, structural software testing criteria, Constraint Based Criteria, distinct fundamentals, test data generation strategies, test data set adequacy, program testing
1	Ronitt Rubinfeld, Madhu Sudan	Robust Characterizations of Polynomials with Applications to Program Testing.	SIAM J. Comput.	1996	DBLP DOI BibTeX RDF
1	Nancy S. Eickelmann, Debra J. Richardson	An Evaluation of Software Test Environment Architectures.	ICSE	1996	DBLP BibTeX RDF	CITE, CONVEX Integrated Test Environment, PROLOG Test Environment, Version II, PROTest II, Software Architectural Analysis Method, TAOS, Testing with Analysis and Oracle Support, architecturally imposed constraints, environment functions allocation, implementation structures, processing algorithms, software test environment architectures, test development, test failure analysis, test measurement, test process automation, performance, software architecture, programming environments, program testing, software reusability, extensibility, reusability, software performance evaluation, portability, functionality, computer aided software engineering, software portability, testing tools, data representation, reference architecture, modifiability, test management, modifications, test planning, test execution, SAAM
1	István Forgács	An Exact Array Reference Analysis for Data Flow Testing.	ICSE	1996	DBLP BibTeX RDF	approximate information, definition-use pairs, exact array reference analysis, formulae negation avoidance, precise method, program path execution, program testing, data flow analysis, arrays, program optimization, data flow testing, program parallelization