The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase program testing (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1968-1976 (15) 1977-1979 (18) 1980-1982 (17) 1983-1988 (20) 1989-1990 (31) 1991 (19) 1992-1993 (28) 1994-1995 (31) 1996 (17) 1997-1999 (17) 2000-2001 (17) 2002-2004 (15) 2005-2007 (15) 2008-2010 (15) 2011-2018 (9)
Publication types (Num. hits)
article(152) incollection(1) inproceedings(129) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1227 occurrences of 650 keywords

Results
Found 284 publication records. Showing 284 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
60Samual Bates, Susan Horwitz Incremental Program Testing Using Program Dependence Graphs. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
53Timothy A. Budd, Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs. Search on Bibsonomy POPL The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
46Larry J. Morell A Theory of Fault-Based Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
41Lee J. White The evolution of an integrated testing environment by the Domain Testing Strategy. Search on Bibsonomy ACM Annual Conference The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
35Gebhard Greiter Remarks on Language Concepts for specifying Process Synchronization. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
35Matti O. Jokinen The Effect of Parameter Passing and Other Implementation Dependent Mechanisms is Undecedable. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
34Huo Yan Chen, T. H. Tse, Tsong Yueh Chen TACCLE: a methodology for object-oriented software testing at the class and cluster levels. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF contact specifications, software testing, object-oriented programming, message passing, algebraic specifications
34Robert Cartwright Formal Program Testing. Search on Bibsonomy POPL The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
34Cheng-Wen Cheng, Jonas Rabin Synthesis of Decision Rules. Search on Bibsonomy Commun. ACM The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
33Robert S. Matthews, K. H. Muralidhar, Steven Sparks MAP 2.1 Conformance Testing Tools. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
33Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan, Narayana Swamy Kutti The Efficiency of Critical Slicing in Fault Localization. Search on Bibsonomy Software Quality Journal The full citation details ... 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
31Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier Towards verification and testing of Java programs. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF program verification, java programs, object-oriented testing
30Chi-Ming Chung, Timothy K. Shih, Ying-Hong Wang, Wei-Chuan Lin, Ying-Feng Kuo 0002 Software Testing and Metrics for Concurrent Computation. Search on Bibsonomy APSEC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF software testing criterion, Concurrent programs, software complexity, rendezvous, Ada language
27Lunjin Lu, Peter Greenfield Logic Program Testing Based on Abstract Interpretation. Search on Bibsonomy Formal Methods in Programming and Their Applications The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
27Arnaud Gotlieb Exploiting Symmetries to Test Programs. Search on Bibsonomy ISSRE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Tatiana Sugeta, José Carlos Maldonado, W. Eric Wong Mutation Testing Applied to Validate SDL Specifications. Search on Bibsonomy TestCom The full citation details ... 2004 DBLP  DOI  BibTeX  RDF SDL, Mutation Testing, Specification Testing
23Heui-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. Search on Bibsonomy APSEC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
22In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong Rae Kwon Applying Conventional Testing Techniques for Class Testing. Search on Bibsonomy COMPSAC The full citation details ... 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
22Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa A Demand-Driven Analyzer for Data Flow Testing at the Integration Level. Search on Bibsonomy ICSE The full citation details ... 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
22Guido Wirtz Modularization, re-use and testing for parallel message-passing programs. Search on Bibsonomy HICSS (2) The full citation details ... 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
22Erika Nyáry, Harry M. Sneed Software maintenance offloading at the Union Bank of Switzerland. Search on Bibsonomy ICSM The full citation details ... 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
22David W. Binkley Reducing the cost of regression testing by semantics guided test case selection. Search on Bibsonomy ICSM The full citation details ... 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
22Piyu Tripathy, Behçet Sarikaya Test Generation from LOTOS Specifications. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
22Yoshihiro Tohma, Hisashi Yamano, Morio Ohba, Raymond Jacoby The Estimation of Parameters of the Hypergeometric Distribution and Its Application to the Software Reliability Growth Model. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
22Richard G. Hamlet, Ross Taylor Partition Testing Does Not Inspire Confidence. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF expected failures, abstract, program testing, program testing, system recovery, failure detection, partition testing, theoretical models
22Simeon C. Ntafos A Comparison of Some Structural Testing Strategies. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF program testing, program testing, programming theory, structural testing, structured programming
22Phyllis G. Frankl, Elaine J. Weyuker An Applicable Family of Data Flow Testing Criteria. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF definition-use associations, software reliability, program testing, program testing, Pascal, data flow testing, ASSET, adequacy criteria
22Carlos Urias Munoz An Approach to Software Product Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
22Michal Young, Richard N. Taylor Combining Static Concurrency Analysis with Symbolic Execution. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
22Karl 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. Search on Bibsonomy APSEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Soyeon Park, Shan Lu, Yuanyuan Zhou 0001 CTrigger: exposing atomicity violation bugs from their hiding places. Search on Bibsonomy ASPLOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software testing, concurrency bug
20Derek F. Yates, Nicos Malevris Reducing the Effects of Infeasible Paths in Branch Testing. Search on Bibsonomy Symposium on Testing, Analysis, and Verification The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
19Elena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum Saturation-based testing of concurrent programs. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF coverage, concurrent programs, test adequacy criteria
19Simone do Rocio Senger de Souza, José Carlos Maldonado, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza Mutation Testing Applied to Estelle Specifications. Search on Bibsonomy HICSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
19Richard G. Hamlet Foundations of Software Testing: Dependability Theory. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
18Jian Zhang 0001, Chen Xu, S. C. Cheung Automatic Generation of Database Instances for White-box Testing. Search on Bibsonomy COMPSAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF embedded SQL, software testing, constraint solving, Database applications, automatic test data generation
18Roger Ferguson, Bogdan Korel The Chaining Approach for Software Test Data Generation. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF heuristics, dynamic analysis, data dependency, program execution
18Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith Query-Driven Program Testing. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Cécile Germain-Renaud, Dephine Monnier-Ragaigne Grid result checking. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2005 DBLP  DOI  BibTeX  RDF simulation, grids, result checking
17Koushik Sen, Gul Agha Automated Systematic Testing of Open Distributed Programs. Search on Bibsonomy FASE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Bogdan Korel The Program Dependence Graph in Static Program Testing. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
17Henry Lieberman, Carl Hewitt A Session with Tinker: Interleaving Program Testing with Program Writing. Search on Bibsonomy LISP Conference The full citation details ... 1980 DBLP  BibTeX  RDF
16Francesco Bergadano Test Case Generation by Means of Learning Techniques. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
16Tsong Yueh Chen, Fei-Ching Kuo, T. H. Tse, Zhiquan Zhou Metamorphic Testing and Beyond. Search on Bibsonomy STEP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Follow-up test cases, semi-proving, successful test case, test case selection strategy, testing oracle, metamorphic testing
16Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. Search on Bibsonomy ICST Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
16Simone do Rocio Senger de Souza, Paulo Sergio Lopes 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. Search on Bibsonomy SEKE The full citation details ... 2011 DBLP  BibTeX  RDF
15Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai Test frame updating in CPM testing of Prolog programs. Search on Bibsonomy Software Quality Journal The full citation details ... 2008 DBLP  DOI  BibTeX  RDF CPM testing, Prolog programs, Call patterns semantics, Test frame reduction, Test frame refinement
15Bogdan Korel Automated Test Data Generation for Programs with Procedures. Search on Bibsonomy ISSTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
14Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar The BLAST Software Verification System. Search on Bibsonomy SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
14Klaus Havelund, Grigore Rosu An Overview of the Runtime Verification Tool Java PathExplorer. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
14Cheer-Sun D. Yang, Amie L. Souter, Lori L. Pollock All-du-path Coverage for Parallel Programs. Search on Bibsonomy ISSTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF all-du-path coverage, parallel programming, testing tool
12Ian J. Hayes Programs as Paths: An Approach to Timing Constraint Analysis. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
11David Monniaux The pitfalls of verifying floating-point computations. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 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
11Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum A (de)constructive approach to program checking. Search on Bibsonomy STOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF program testing, program correcting, program checking
11Hui Ruan, Jian Zhang 0001, Jun Yan 0009 Test Data Generation for C Programs with String-Handling Functions. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF program testing, test data generation, character string
11Ron Jeffries, Grigori Melnik Guest Editors' Introduction: TDD--The Art of Fearless Programming. Search on Bibsonomy IEEE Software The full citation details ... 2007 DBLP  DOI  BibTeX  RDF software engineering, program testing, test-driven development, TDD
11Steve Freeman, Nat Pryce, Joshua Kerievsky Point/Counterpoint. Search on Bibsonomy IEEE Software The full citation details ... 2007 DBLP  DOI  BibTeX  RDF object-oriented programming, program testing, test-driven development, mock objects
11Amit Kumar Mandal, Chittaranjan A. Mandal, Chris Reade A System for Automatic Evaluation of Programs for Correctness and Performance. Search on Bibsonomy WEBIST (Selected Papers) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Program Testing, XML Schema, Course Management System, Automatic Evaluation
11W. Eric Wong, Yu Lei, Xiao Ma Effective Generation of Test Sequences for Structural Testing of Concurrent Programs. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF concurrent program testing, all-node criterion, all-edge criterion, structural testing, reachability graph
11Huo Yan Chen, Yu Xia Sun, T. H. Tse A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software. Search on Bibsonomy COMPSAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Object-oriented program testing, OBJSA net, concurrency, non-determinism
11Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. Search on Bibsonomy ISSTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF global symbolic evaluation, program proving, semi-proving, program testing, symbolic execution, metamorphic testing
11Tsong Yueh Chen, Jianqiang Feng, T. H. Tse Metamorphic Testing of Programs on Partial Differential Equations: A Case Study. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Program testing, partial differential equations, metamorphic testing, oracle problem
11Simeon C. Ntafos On Comparisons of Random, Partition, and Proportional Partition Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF proportional partition testing, Program testing, random testing, partition testing
11Elaine J. Weyuker, Filippos I. Vokolos Experience with Performance Testing of Software Systems: Issues, an Approach, and Case Study. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF software testing, program testing, performance testing, Software performance testing
11Fevzi Belli, Thomas Illgen Logic Representation of Programs to Detect Arithmetic Anomalies. Search on Bibsonomy EUROMICRO The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Arithmetic Anomalies, Software Legacy and Re-engineering, Logic Programming, Program Transformation, Program Testing
11A. Jefferson Offutt, Aynur Abdurazik, Roger T. Alexander An Analysis Tool for Coupling-Based Integration Testing. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF instrumentation techniques, Java Tree Builder, Java parser, program testing, integration testing, Java programs, test data, analysis tool
11Aynur Abdurazik, Paul Ammann, Wei Ding 0003, A. Jefferson Offutt Evaluation of Three Specification-Based Testing Criteria. Search on Bibsonomy ICECCS The full citation details ... 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
11Masayuki Hirayama, Jiro Okayasu, Tetsuya Yamamoto, Osamu Mizuno, Tohru Kikuno Generating test items for checking illegal behaviors in software testing. Search on Bibsonomy Asian Test Symposium The full citation details ... 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
11Ahmed Khoumsi A new method for testing real time systems. Search on Bibsonomy RTCSA The full citation details ... 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
11Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli Testing embedded real-time systems. Search on Bibsonomy RTCSA The full citation details ... 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
11Xia Cai, Michael R. Lyu, Kam-Fai Wong, Roy Ko Component-based software engineering: technologies, development frameworks, and quality assurance schemes. Search on Bibsonomy APSEC The full citation details ... 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
11Jooyoung Seo, Byoungju Choi Tailoring test process by using the component-based development paradigm and the XML technology. Search on Bibsonomy APSEC The full citation details ... 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
11Karl R. P. H. Leung, Wai Wong Deriving test cases using class vectors. Search on Bibsonomy APSEC The full citation details ... 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
11Marisa A. Sanchez, Juan Carlos Augusto Testing an Implementation of a Temporal Logic Language. Search on Bibsonomy SCCC The full citation details ... 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
11Walter J. Gutjahr Partition Testing vs. Random Testing: The Influence of Uncertainty. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF software testing, fault detection, program testing, random testing, partition testing, Decisions under uncertainty
11In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee Testing of Concurrent Programs Based on Message Sequence Charts. Search on Bibsonomy PDSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Concurrent Program Testing, Constraints-based Testing, Message Sequence Charts
11Dennis K. Peters, David Lorge Parnas Using Test Oracles Generated from Program Documentation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF formal specification, finite state machine, Program testing, test oracle
11Simeon C. Ntafos On Random and Partition Testing. Search on Bibsonomy ISSTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF program testing, random testing, partition testing
11Joã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. Search on Bibsonomy EUROMICRO The full citation details ... 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
11Tsong Yueh Chen, Man Fai Lau Two test data selection strategies towards testing of Boolean specifications. Search on Bibsonomy COMPSAC The full citation details ... 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
11Erez Buchnik, Shmuel Ur Compacting regression-suites on-the-fly. Search on Bibsonomy APSEC The full citation details ... 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
11Hans Schaefer Tutorial: organizing, managing and optimizing software testing. Search on Bibsonomy APSEC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF serious defects, testing process control, software testing, program testing, cost, philosophy
11Silvia Regina Vergilio, José Carlos Maldonado, Mario Jino Constraint Based Selection of Test Sets to Satisfy Structural Software Testing Criteria. Search on Bibsonomy SCCC The full citation details ... 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
11Hadar Ziv, Debra J. Richardson Constructing Bayesian-network models of software testing and maintenance uncertainties. Search on Bibsonomy ICSM The full citation details ... 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
11Mei-Hwa Chen, Michael R. Lyu, W. Eric Wong An empirical study of the correlation between code coverage and reliability estimation. Search on Bibsonomy IEEE METRICS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF aircraft control, software reliability estimation, time-domain models, software testing technique, coverage measures, time measures, software failure prediction, software execution time, industrial automatic flight control, software reliability, program testing, digital simulation, software performance evaluation, simulation environment, code coverage, software reliability growth
11Ravi Kumar 0001, D. Sivakumar Efficient Self-Testing/Self-Correction of Linear Recurrences. Search on Bibsonomy FOCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF efficient self-testing, efficient self-correction, self-tester design, self-corrector design, result-checkers, linear function testing, counting arguments, matrix twist, convolution identities, VLSI chip testing, randomness-efficient self-tester, rational domains, signal processing, finite fields, program testing, polynomials, reduction, functions, spectral analysis, matrix groups, linear recurrences, control engineering
11Funda Ergün, Ravi Kumar 0001, Ronitt Rubinfeld Approximate Checking of Polynomials and Functional Equations (extended abstract). Search on Bibsonomy FOCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF approximate checking, polynomial computation, functional equation computation, addition theorems, approximate program output, self-correcting, stability theory, program testing, polynomials, reductions, functions, self-testing, program checking
11Mariam Kamkar, Patrik Krajina, Peter Fritzson Dynamic Slicing of Parallel Message-Passing Programs. Search on Bibsonomy PDP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF parallel message-passing programs, program maintenance activities, new functionality, software development resources, computer-supported methods, error sources, parallel MIMD computer, distributed systems, parallel programming, software testing, software maintenance, debugging, message passing, software metrics, program testing, dependence analysis, program debugging, software complexity, dynamic program slicing, program decomposition
11István Forgács An Exact Array Reference Analysis for Data Flow Testing. Search on Bibsonomy ICSE The full citation details ... 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
11Nancy S. Eickelmann, Debra J. Richardson An Evaluation of Software Test Environment Architectures. Search on Bibsonomy ICSE The full citation details ... 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
11Martina Marré, Antonia Bertolino Reducing and Estimating the Cost of Test Coverage Criteria. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF generalised algorithm, minimum entity set, program flowgraph entities, spanning set, test coverage criteria cost estimation, test coverage criteria cost reduction, test paths, program testing, software cost estimation, flowcharting
11Bogdan Korel, Ali M. Al-Yami Assertion-Oriented Automated Test Data Generation. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF assertion oriented automated test data generation, automatic run time detection, program input, software engineering, program testing, automatic programming, white box testing, automated test data generation, software errors
11Aki Watanabe, Ken Sakamura A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF ITRON2 real time multi task operating system specification, SBATCG method, abstract state transitions, commercially available ITRON2 implementations, fault exposure abilities, open operating system standards, specification based adaptive test case generation strategy, real-time systems, formal specification, specification languages, program testing, open systems, templates, Z, operating systems (computers), multiprogramming, integration testing, mutation analysis, Z notation, software standards, formal specification languages, model based specification, fault detecting ability, internal structure
11Hideto Ogasawara, Atsushi Yamada, Michiko Kojo Experiences of Software Quality Management Using Metrics through the Life-Cycle. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF automatic measurement, corrective action, problem removal, regular technical reviews, software quality metrics, software quality, software metrics, programs, program testing, software development process, software development management, software products, life-cycle, software quality management, test phase, problem detection
11Brian Mitchell, Steven J. Zeil A Reliability Model Combining Representative and Directed Testing. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF fault revelation, interfailure time, post-mortem debugged fault analysis, reliability estimate updating, representative testing, software quality, software reliability, fault detection, program testing, statistics, program debugging, functional testing, program diagnostics, structural testing, random processes, order statistics, reliability model, quantification, random variable, failure rates, directed testing
11Mei-Chen Hsueh Large complex system test: objectives and approaches. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF large complex system test, black-box system testing, system test objectives, usage-model approach, system application environments, functional aspects, structure testing technique, nonfunctional aspects, distributed processing, program verification, program testing
11Khaled El Emam, Nazim H. Madhavji Measuring the success of requirements engineering processes. Search on Bibsonomy RE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF requirements engineering success, research study, requirements engineering products, requirements engineering service, psychometric properties, reliability, formal specification, validity, software reliability, program verification, systems analysis, program testing, requirements engineering processes
11Samvel K. Shoukourian, Armen G. Kostanian, Valery A. Margarian, Ayman A. Ashour An approach for system tests design and its application. Search on Bibsonomy VTS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF system test design, control testing table, testing processor, correctness problem, polynomial complexity algorithm, software system design, microcode synthesis, CAD system testing, performance evaluation, performance evaluation, program testing, mathematical model, multicomputer systems, computer testing, multi-user systems
11Yves Le Traon, Chantal Robach Testability analysis of co-designed systems. Search on Bibsonomy Asian Test Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF co-designed data-flow specifications, high level testability analysis, information transfer graph, bipartite directed graph, SATAN tool, computer assisted specification diagram, all-nodes criterion, all-paths criterion, multiple clue strategy, start big strategy, diagnosis quality factor, software components testability, formal specification, fault diagnosis, program testing, data flow analysis, computer aided software engineering, hardware description languages, data flow graphs, testability analysis, automatic test software, functional specification, test set generation, avionics systems, hardware modelling
11T. Born, Wolfgang Obelöer, Lorenz Schäfers, Christian Scheidler The monitoring facilities of the graphical parallel programming environment TRAPPER. Search on Bibsonomy PDP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF monitoring facilities, graphical parallel programming environment TRAPPER, parallel embedded systems, automatic observation, transport strategies, flexible programmer interface, industrial automotive research applications, optimization, visualization, real-time systems, parallel programming, graphical user interfaces, graphical user interface, mapping, programming environments, program testing, data visualisation
Displaying result #1 - #100 of 284 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license