Search results for "testing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Lijun Mei, W. K. Chan 0001, T. H. Tse	Data flow testing of service-oriented workflow applications.	ICSE	2008	DBLP DOI BibTeX RDF	workflow testing, ws-bpel, xml document model, soa, testing, xpath, xml, service-orientation, rewriting rules
23	Anuja Sehgal, Krishnendu Chakrabarty	Optimization of Dual-Speed TAM Architectures for Efficient Modular Testing of SOCs.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Full-chip testing, dual-speed TAM, TAM optimization, test scheduling, test access mechanism, SOC testing
23	Morten Sieker Andreasen, Henrik Villemann Nielsen, Simon Ormholt Schrøder, Jan Stage	What happened to remote usability testing?: an empirical study of three methods.	CHI	2007	DBLP DOI BibTeX RDF	empirical study, usability testing, remote testing
23	R. K. Singh, Pravin Chandra, Yogesh Singh	An evaluation of Boolean expression testing techniques.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	mutant, software testing, fault, branch testing
23	Natalia Juristo Juzgado, Ana María Moreno 0001, Sira Vegas, Martín Solari	In Search of What We Experimentally Know about Unit Testing.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	testing techniques, experimentation, unit testing, empirical methods, evidence-based software engineering
23	Johannes Mayer	Towards effective adaptive random testing for higher-dimensional input domains.	GECCO	2006	DBLP DOI BibTeX RDF	random testing, adaptive random testing, test case selection
23	Alexandre Duarte, Walfredo Cirne, Francisco Vilar Brasileiro, Patrícia D. L. Machado	GridUnit: software testing on the grid.	ICSE	2006	DBLP DOI BibTeX RDF	unit testing, computational grid, JUnit, distributed testing
23	Johannes Mayer, Christoph Schneckenburger	Adaptive Random Testing with Enlarged Input Domain.	QSIC	2006	DBLP DOI BibTeX RDF	test data selection, Random Testing, Adaptive Random Testing
23	Changhai Nie, Baowen Xu, Ziyuan Wang, Liang Shi	Generating Optimal Test Set for Neighbor Factors Combinatorial Testing.	QSIC	2006	DBLP DOI BibTeX RDF	neighbor factors interaction, Software testing, combinatorial testing
23	Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener	Application of Two Test Generation Tools to an Industrial Case Study.	TestCom	2006	DBLP DOI BibTeX RDF	telephonic service, service testing, test generation tools, formal specification, conformance testing, Case study, automatic test generation, extended finite state machine
23	Tsong Yueh Chen, Fei-Ching Kuo, Zhiquan Zhou	An effective testing method for end-user programmers.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	software testing, end-user software engineering, metamorphic testing
23	Brad Arkin, Scott Stender, Gary McGraw	Software Penetration Testing.	IEEE Secur. Priv.	2005	DBLP DOI BibTeX RDF	security testing, software development life cycle, penetration testing
23	Man Fai Lau, Yuen-Tak Yu	An extended fault class hierarchy for specification-based testing.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	Fault class analysis, software testing, test case generation, specification-based testing
23	Kai-Yuan Cai, Tsong Yueh Chen, Yong-Chao Li, Wei-Yi Ning, Yuen-Tak Yu	Adaptive testing of software components.	SAC	2005	DBLP DOI BibTeX RDF	controlled Markov chain, software testing, software component, adaptive testing, software cybernetics
23	Harry M. Sneed	Testing an E-Government Web Site.	WSE	2005	DBLP DOI BibTeX RDF	Website Testing, Specification Analysis, Test case Extraction, XML/WSDL, Testdata Generation, Testing Web services
23	Zunliang Yin, Chunyan Miao, Zhiqi Shen 0001, Yuan Miao 0001	Actionable Knowledge Model for GUI Regression Testing.	IAT	2005	DBLP DOI BibTeX RDF	GUI regression testing, Test case repair, Software testing, Multi-agent
23	Sergey V. Zelenov, Sophia A. Zelenova	Automated Generation of Positive and Negative Tests for Parsers.	FATES	2005	DBLP DOI BibTeX RDF	specification-based test generation, coverage criterion, compiler testing, positive tests, negative tests, BNF grammar, formal language, mutation testing, parser
23	Eric Ying Kwong Chan, Pak-Lok Poon, Yuen-Tak Yu	On the Testing of Particular Input Conditions.	COMPSAC	2004	DBLP DOI BibTeX RDF	particular condition, test-a-few approach, test-once approach, software testing, Black box testing, test case selection
23	Omar Rafiq, Leo Cacciari	Coordination Algorithm for Distributed Testing.	J. Supercomput.	2003	DBLP DOI BibTeX RDF	test coordination procedures, controllability, observability, distributed testing, testing architecture
23	Brad Long, Daniel Hoffman, Paul A. Strooper	Tool Support for Testing Concurrent Java Components.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	concurrency, unit testing, tool support, Component testing
23	Lionel C. Briand, Yvan Labiche	A UML-Based Approach to System Testing.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	Testing of object-oriented systems, UML, Testability, Sequence Diagrams, System testing, Use Cases
23	Kuo-Chung Tai, Yu Lei 0001	A Test Generation Strategy for Pairwise Testing.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	software testing, test generation, pairwise testing
23	Martín González Rodríguez	Automatic Data-Gathering Agents for Remote Navigability Testing.	IEEE Softw.	2002	DBLP DOI BibTeX RDF	Data gathering Agents, Navigability Testing, Remote Navigability Testing, Navigation Models
23	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
23	Atif M. Memon, Mary Lou Soffa, Martha E. Pollack	Coverage criteria for GUI testing.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	GUI test coverage, event-based coverage, event-flow graph, integration tree, GUI testing, component testing
23	Wen-Ben Jone, K. S. Tsai	Confidence analysis for defect-level estimation of VLSI random testing.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	defect level analysis, test confidence analysis, random testing, VLSI testing, test quality
23	Tsong Yueh Chen, Yuen-Tak Yu	On the Test Allocations for the Best Lower Bound Performance of Partition Testing.	Australian Software Engineering Conference	1998	DBLP DOI BibTeX RDF	optimal test distribution, test allocation, software testing, partition testing
23	Wen-Ben Jone, Sunil R. Das	A Stochastic Method for Defect Level Analysis of Pseudorandom Testing.	VLSI Design	1998	DBLP DOI BibTeX RDF	defect level analysis, differential equation, VLSI testing, pseudorandom testing
23	Silvia Regina Vergilio, José Carlos Maldonado, Mário Jino	Constraint Based Selection of Test Sets to Satisfy Structural Software Testing Criteria.	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
23	Gang Luo, Anindya Das, Gregor von Bochmann	Software Testing Based on SDL Specifications with Save.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	SDL specifications, signal save construct, SDL-machines, SDL-machine transformation, input/output relationship, formal specification, software testing, programming languages, finite state machines, finite state machines, program verification, specification languages, program testing, software verification, high-level specification
23	Edward W. Krauser, Aditya P. Mathur, Vernon Rego	High Performance Software Testing on SIMD Machines.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	mutant unification, program mutation, single instruction multiple data stream, software testing, software reliability, software reliability, program testing, parallel machines, parallel machines, software systems, SIMD machines
23	Pulei Xiong, Bernard Stepien, Liam Peyton	Model-Based Penetration Test Framework for Web Applications Using TTCN-3.	MCETECH	2009	DBLP DOI BibTeX RDF	model-based testing, TTCN-3, web application security, test specification, penetration testing
23	Syed Waseem Haider, João W. Cangussu, Kendra M. L. Cooper, Ram Dantu, Syed Haider	Estimation of Defects Based on Defect Decay Model: ED^{3}M.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Statistical methods, estimation theory, system testing, Testing and Debugging, Defect prediction, Metrics/Measurement
23	Dennis Jeffrey, Neelam Gupta	Improving Fault Detection Capability by Selectively Retaining Test Cases during Test Suite Reduction.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Software testing, test suite reduction, testing criteria, test suite minimization, fault detection effectiveness
23	Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani	SYNERGY: a new algorithm for property checking.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	testing, software model checking, abstraction refinement, directed testing
23	Ming-Hao Liu 0001, You-Feng Gao, Jinhui Shan, Jiang-Hong Liu, Lu Zhang 0023, Jiasu Sun	An Approach to Test Data Generation for Killing Multiple Mutants.	ICSM	2006	DBLP DOI BibTeX RDF	adequacy criterion, unit testing, test data generation, mutation testing
23	Vishal Suthar, Shantanu Dutt	High-diagnosability online built-in self-test of FPGAs via iterative bootstrapping.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	built-in self-tester (BISTer), roving tester (ROTE), FPGAs, functional testing, on-line testing, diagnosability
23	James H. Andrews, Yingjun Zhang	General Test Result Checking with Log File Analysis.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Testing, specification, unit testing, test oracles, log file analysis, lightweight formal methods, safety verification
23	Ondrej Novák	Pseudorandom, Weighted Random and Pseudoexhaustive Test Patterns Generated in Universal Cellular Automata.	EDCC	1999	DBLP DOI BibTeX RDF	linear cyclic codes, hardware test pattern generators, weighted random testing, Cellular automata, BIST, linear feedback shift registers, pseudoexhaustive testing
23	Pu-Lin Yeh, Jin-Cherng Lin	Software Testability Measurements Derived from Data Flow Analysis.	CSMR	1998	DBLP DOI BibTeX RDF	software testability, software testing, software measurement, data flow, testing criteria
23	David W. Binkley	Semantics Guided Regression Test Cost Reduction.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	CTR Categories and Subject Descriptors: D.2.2 [Software Engineering]: tools and techniques—programmer workbench, D.2.5 [Software Enginering]: testing and debugging, D.3.3 [Programming Languages]: language constructs—control structures, functions and subroutines, E.1 [Data Structures] graphs, other keywords: slicing, regression testing, procedures
23	Sreejit Chakravarty	On the capability of delay tests to detect bridges and opens.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	defective IC, faulty dynamic logic behavior, transition tests, simulation, integrated circuit testing, delay tests, bridges, opens, at-speed testing, path delay tests
23	Hong Zhu 0002	A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	subsume relation, Software testing, test adequacy criteria, testing scenarios, fault detecting ability
23	Mei-Hwa Chen, Michael R. Lyu, W. Eric Wong	An empirical study of the correlation between code coverage and reliability estimation.	IEEE METRICS	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
23	Cyril Briquet, Pierre-Arnoul de Marneffe	Reproducible testing of distributed software with middleware virtualization and simulation.	PADTAD	2008	DBLP DOI BibTeX RDF	P2P grid, simulation, scheduling, performance evaluation, virtualization, code reuse, distributed testing
23	Guoqiang Shu, Dongluo Chen, Zhijun Liu, Na Li, Lifeng Sang, David Lee 0001	VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Virtualization, Network Modeling, Test Automation, Network Emulation, Security Testing
23	Jeff Offutt, Qingxiang Wang, Joann J. Ordille	An Industrial Case Study of Bypass Testing on Web Applications.	ICST	2008	DBLP DOI BibTeX RDF	Software testing, web applications, industry case study
23	Bill Hasling, Helmut Goetz, Klaus Beetz	Model Based Testing of System Requirements using UML Use Case Models.	ICST	2008	DBLP DOI BibTeX RDF	UML, Model Based Testing, Requirements Tracing
23	Andrew F. Tappenden, James Miller 0001	A Three-Tiered Testing Strategy for Cookies.	ICST	2008	DBLP DOI BibTeX RDF	Web Technologies, Cookies, Web Application Testing
23	Thomas Rings, Helmut Neukirchen, Jens Grabowski	Testing Grid Application Workflows Using TTCN-3.	ICST	2008	DBLP DOI BibTeX RDF	CMTF, testing, Grid, TTCN-3
23	Raluca Lefticaru, Florentin Ipate	Functional Search-based Testing from State Machines.	ICST	2008	DBLP DOI BibTeX RDF	genetic algorithms, simulated annealing, particle swarm optimization, finite state machine, search-based testing
23	Mechelle Gittens, Pramod Gupta, David Godwin, Hebert Pereyra, Jeff Riihimaki	Focused iterative testing: a test automation case study.	DBTest	2008	DBLP DOI BibTeX RDF	testing, database management systems, multi-threaded
23	Sigrid Eldh, Sasikumar Punnekkat, Hans Hansson, Peter Jönsson	Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	Fault distribution, Testing, Software, Fault Classification
23	Emmanuel Simeu, Salvador Mir, R. Kherreddine, Hoang Nam Nguyen	Envelope Detection Based Transition Time Supervision for Online Testing of RF MEMS Switches.	IOLTS	2007	DBLP DOI BibTeX RDF	RF MEMS, capacitive switch, envelope detection, transition time, Online testing, recursive estimation
23	André Baresel, David W. Binkley, Mark Harman, Bogdan Korel	Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach.	ISSTA	2004	DBLP DOI BibTeX RDF	flags, testability transformation, empirical evaluation, evolutionary testing
23	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
22	Tsung-Hsiang Chang, Tom Yeh, Robert C. Miller	GUI testing using computer vision.	CHI	2010	DBLP DOI BibTeX RDF	gui automation, gui testing, test by demonstration
22	Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson	ASSURE: automated support for secure and usable requirements engineering.	ISSTA	2010	DBLP DOI BibTeX RDF	security requirements-based testing, security requirements, usable requirements
22	Andrew F. Tappenden, James Miller 0001	Cookies: A deployment study and the testing implications.	ACM Trans. Web	2009	DBLP DOI BibTeX RDF	Internet browser, software testing, Web engineering, Web technologies, Cookies
22	Mathias Ricken, Robert Cartwright	ConcJUnit: unit testing for concurrent programs.	PPPJ	2009	DBLP DOI BibTeX RDF	Java, concurrent programming, unit testing, JUnit
22	Chengying Mao	Experiences in security testing for web-based applications.	ICIS	2009	DBLP DOI BibTeX RDF	management control, validation, web application, vulnerability, experiences report, security testing
22	Man Fai Lau, Yuen-Tak Yu	On Comparing Testing Criteria for Logical Decisions.	Ada-Europe	2009	DBLP DOI BibTeX RDF	condition coverage, condition/decision coverage, control flow criteria, decision coverage, modified condition/ decision coverage (MC/DC), software testing, Boolean expression
22	Yaohang Li, Yong-Duan Song	An adaptive and trustworthy software testing framework on the grid.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	Grid computing, Software testing
22	Praveen Ranjan Srivastava, Deepak Pareek, Kailash Sati, Dinesh C. Pujari, G. Raghurama	Non homogenous poisson process based cumulative priority model for determining optimal software testing period.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	cumulative priority, optimal testing policy, software life cycle length, software release time, non homogenous poisson process
22	Hossain Shahriar, Mohammad Zulkernine	Mutation-Based Testing of Buffer Overflow Vulnerabilities.	COMPSAC	2008	DBLP DOI BibTeX RDF	Mutation-based testing, Vulnerabilities, Buffer overflow
22	David B. Martin 0001, John Rooksby, Mark Rouncefield, Ian Sommerville	Cooperative work in software testing.	CHASE	2008	DBLP DOI BibTeX RDF	testing, ethnography, cooperative work
22	Marlon Vieira, Xiping Song, Gilberto Matos, Stephan Storck, Rajanikanth Tanikella, William M. Hasling	Applying model-based testing to healthcare products: preliminary experiences.	ICSE	2008	DBLP DOI BibTeX RDF	healthcare software systems, model-based testing
22	Leila Naslavsky, Hadar Ziv, Debra J. Richardson	Towards leveraging model transformation to support model-based testing.	ASE	2007	DBLP DOI BibTeX RDF	model-driven development, traceability, model-based testing
22	Sebastian G. Elbaum, Suzette Person, Jonathan Dokulil, Matthew Jorde	Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable.	ICSE	2007	DBLP DOI BibTeX RDF	Software Testing Education, Web-based Tutorial
22	Sergiy A. Vilkomir, Jonathan P. Bowen	From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Software testing criteria, RC/DC, Formal methods, Z notation, MC/DC
22	Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova	TTCN-3 for Distributed Testing Embedded Software.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	simulated time, TTCN-3, distributed testing
22	Arthi Anandhan, Senthil Dhandapani, Hassan Reza, Karthik Namasivayam	Web Usability Testing - CARE Methodology.	ITNG	2006	DBLP DOI BibTeX RDF	question asking protocol, co-discovery method, evaluation, Usability, user testing, questionnaire, thinking aloud protocol
22	Paul A. Strooper, Luke Wildman	Testing concurrent java components.	ICSE	2006	DBLP DOI BibTeX RDF	concurrency, component, testing methodology
22	Kristen R. Walcott, Mary Lou Soffa, Gregory M. Kapfhammer, Robert S. Roos	TimeAware test suite prioritization.	ISSTA	2006	DBLP DOI BibTeX RDF	genetic algorithms, test prioritization, coverage testing
22	Lei Xu 0003, Baowen Xu, Changhai Nie	Testing and Fault Diagnosis for Web Application Compatibility Based on Combinatorial Method.	ISPA Workshops	2005	DBLP DOI BibTeX RDF	Combinatorial Method, Compatibility Testing, Fault Diagnosis, Web Applications
22	Hui Wu, Jeff Gray 0001	Automated generation of testing tools for domain-specific languages.	ASE	2005	DBLP DOI BibTeX RDF	testing, debugging, domain-specific languages, grammar
22	Cheng-Ying Mao, Yansheng Lu	Improving the Robustness and Reliability of Object-Oriented Programs through Exception Analysis and Testing.	ICECCS	2005	DBLP DOI BibTeX RDF	exception handling mechanism, control flow graph (CFG), robustness improvement model, exception testing, safety critical system
22	Jarmo J. Ahonen, Tuukka Junttila, Markku Sakkinen	Impacts of the Organizational Model on Testing: Three Industrial Cases.	Empir. Softw. Eng.	2004	DBLP DOI BibTeX RDF	TIM, software engineering, Software testing, software process, process assessment, organizational model
22	Antonia Bertolino	The (Im)maturity level of software testing.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	comparisons of test techniques, software testing maturity, test patterns
22	Gary McGraw, Bruce Potter	Software Security Testing.	IEEE Secur. Priv.	2004	DBLP DOI BibTeX RDF	black-box testing, software development cycle
22	Florentin Ipate	Complete deterministic stream X-machine testing.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Formal specification, Testing, Finite state machines, Test set generation, Stream X-machines
22	James R. Birt, Renate Sitte	Optimizing Testing Efficiency with Error-Prone Path Identification and Genetic Algorithms.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF	Genetic Algorithms, optimization, software reliability, testing efficiency
22	Colin Depradine, Julian Arthur	A tool for incorporating unit testing into a Java programming curriculum.	PPPJ	2004	DBLP DOI BibTeX RDF	Java, frameworks, unit testing
22	Jan Lönnberg, Ari Korhonen, Lauri Malmi	MVT: a system for visual testing of software.	AVI	2004	DBLP DOI BibTeX RDF	execution history logging, visual testing, bytecode instrumentation, visual debugging, algorithm simulation
22	Piet Engelke, Ilia Polian, Michel Renovell, Bharath Seshadri, Bernd Becker 0001	The Pros and Cons of Very-Low-Voltage Testing: An Analysis based on Resistive Bridging Faults.	VTS	2004	DBLP DOI BibTeX RDF	Very-Low-Voltage testing, Resistive short defects
22	Rolf Nelson	A Testing Checklist for Database Programs: Managing Risk in an Agile Environment.	XP/Agile Universe	2003	DBLP DOI BibTeX RDF	Java, testing, SQL, XP, Agile
22	Margaret M. Burnett, Andrei Sheretov, Bing Ren, Gregg Rothermel	Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	Software testing, visual programming, spreadsheets
22	Yu-Seung Ma, Seung-Uk Oh, Doo-Hwan Bae, Yong Rae Kwon	Framework for Third Party Testing of Component Software.	APSEC	2001	DBLP DOI BibTeX RDF	metadata, Framework, Certification, Component-based software engineering, EJB, Component testing
22	Kari Kuutti, Katja Battarbee, Simo Säde, Tuuli Mattelmäki, Turkka Keinonen, Topias Teirikko, Anne-Mari Tornberg	Virtual Prototypes in Usability Testing.	HICSS	2001	DBLP DOI BibTeX RDF	3D virtual prototyping, design evaluation over the Internet, task-based test vs. free exploration test, VRML models vs. physical models, remote usability testing
22	Huawei Li 0001, Zhongcheng Li, Yinghua Min	Reduction of Number of Paths to be Tested in Delay Testing.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	linearly independent, analytical delay model, delay testing, path sensitization
22	Fangmei Wu, Meng Li	Railway Signaling Safety-critical Software Testing Based on Dynamic Decision Table.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	dynamic decision table, software testing, safety-critical software, interlocking
22	Ji-Tzay Yang, Jiun-Long Huang, Feng-Jian Wang, William C. Chu	An Object-Oriented Architecture Supporting Web Application Testing.	COMPSAC	1999	DBLP DOI BibTeX RDF	WWW, architecture, software testing
22	Luis Fernando Llana Díaz, David de Frutos-Escrig	Relating May and Must Testing Semantics for Discrete Timed Process Algebras.	ASIAN	1999	DBLP DOI BibTeX RDF	testing semantics, must, may, time, process algebra
22	Mohammed Fadle Abdulla, C. P. Ravikumar, Anshul Kumar	Optimization of Mutual and Signature Testing Schemes for Highly Concurrent Systems.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF	mutual checking, multiple signature testing, self loops, built-in self test, aliasing
22	Joachim Wegener, Harmen Sthamer, Bryan F. Jones, David E. Eyres	Testing real-time systems using genetic algorithms.	Softw. Qual. J.	1997	DBLP DOI BibTeX RDF	temporal behaviour, genetic algorithms, real-time systems, embedded systems, testing
22	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
22	Pavan Kumar Chittimalli, Mary Jean Harrold	Regression test selection on system requirements.	ISEC	2008	DBLP DOI BibTeX RDF	requirements, traceability, regression testing, test case prioritization, regression test selection
22	Hoyeon Ryu, Dong-Kuk Ryu, Jongmoon Baik	A Strategic Test Process Improvement Approach Using an Ontological Description for MND-TMM.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Testing Maturity Model, OWL, Software Process Improvement
22	Carsten Binnig, Donald Kossmann, Eric Lo 0001, M. Tamer Özsu	QAGen: generating query-aware test databases.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	symbolic database, symbolic query processing, testing, database, query processing, symbolic execution
22	Noga Alon, Eldar Fischer, Ilan Newman, Asaf Shapira	A combinatorial characterization of the testable graph properties: it's all about regularity.	STOC	2006	DBLP DOI BibTeX RDF	characterization, property testing, regularity lemma