Search results for "testing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Xuan-Lun Huang, Ping-Ying Kang, Jiun-Lang Huang, Yung-Fa Chou, Yung-Pin Lee, Ding-Ming Kwai	A Pre- and Post-bond Self-Testing and Calibration Methodology for SAR ADC Array in 3-D CMOS Imager.	ETS	2011	DBLP DOI BibTeX RDF	3-D IC testing, calibration-oriented testing, pre-, post-bond testing, SAR ADC, mixed-signal testing
25	Mark Harman, Phil McMinn	A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF	Royal Road, control methods and search, Genetic Algorithms, performance, algorithms, artificial intelligence, measurement, theory, experimentation, problem solving, testing tools, Hill Climbing, testing and debugging, Evolutionary Testing, heuristic methods, search-based software engineering, schema theory, Automated test data generation, search-based testing
25	Huai Liu, Tsong Yueh Chen	An Innovative Approach to Randomising Quasi-random Sequences and Its Application into Software Testing.	QSIC	2009	DBLP DOI BibTeX RDF	Quasi-Random Testing, Non-Uniform Distribution, Software Testing, Random Testing, Adaptive Random Testing
25	Oded Goldreich 0001, Shafi Goldwasser, Dana Ron	Property Testing and Its Connection to Learning and Approximation.	FOCS	1996	DBLP DOI BibTeX RDF	unknown function, property testing algorithm, graph property testing, k-colorable graph, /spl rho/-clique, input graph, testing, approximation, querying, assertions, probabilistic algorithm, learning theory, property testing
25	Ravi Kumar 0001, D. Sivakumar 0001	Efficient Self-Testing/Self-Correction of Linear Recurrences.	FOCS	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
25	Vladimir V. Saposhnikov, Alexej Dmitriev, Michael Gössel, Valerij V. Saposhnikov	Self-dual parity checking-A new method for on-line testing.	VTS	1996	DBLP DOI BibTeX RDF	self-dual parity checking, self-dual complement, VLSI, logic testing, Boolean functions, Boolean function, integrated circuit testing, automatic testing, fault coverage, integrated logic circuits, online testing, error checking
25	Peter Wohl, John A. Waicukauski, Matthew Graf	Testing "untestable" faults in three-state circuits.	VTS	1996	DBLP DOI BibTeX RDF	three-state circuits, complex CMOS designs, nonconventional circuits, test generation techniques, circuit particularities, fault diagnosis, logic testing, integrated circuit testing, automatic testing, CMOS logic circuits, test coverage, multivalued logic circuits, computer testing, CPU time, test vector generation, untestable faults, automatic learning
25	O. A. Petlin, Stephen B. Furber	Scan testing of asynchronous sequential circuits.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	micropipeline design style, combinational block, state holding elements, standard test generation techniques, VLSI, logic testing, delays, integrated circuit testing, logic design, sequential circuits, asynchronous circuits, integrated logic circuits, delay faults, boundary scan testing, scan testing, single stuck-at faults, asynchronous sequential logic, asynchronous sequential circuits
25	Naveena Nagi, Abhijit Chatterjee, Ashok Balivada, Jacob A. Abraham	Efficient multisine testing of analog circuits.	VLSI Design	1995	DBLP DOI BibTeX RDF	waveform analysis, biquadratic filters, multisine testing, test waveform generation, test confidence, fault-based automatic test pattern generator, successive gradient method, sinusoidal signals, fault coverage maximization, biquadratic filter, AC testing, analog IC, fault diagnosis, built-in self test, integrated circuit testing, automatic testing, analog circuits, built-in test, analogue integrated circuits, linear analog circuits
25	Irith Pomeranz, Sudhakar M. Reddy	Testing of Fault-Tolerant Hardware Through Partial Control of Inputs.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	fault-tolerant hardware, redundant digital systems, critical input set problem, circuit description, fault tolerant computing, testing strategies, computer testing, deterministic testing, exhaustive testing
25	Seyed H. Hosseini, Nizar Jamal	Efficient Distributed Algorithms for Self Testing of Multiple Processor Systems.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	interprocessor links, testing overhead, performance evaluation, performance, reliability, distributed algorithms, fault tolerant computing, multiprocessing systems, automatic testing, simulation results, self testing, multiple processor systems, dynamic testing
25	Sampath Rangarajan, Donald S. Fussell, Miroslaw Malek	Built-In Testing of Integrated Circuit Wafers.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	integrated circuit wafers, silicon wafers, VLSI, integrated circuit testing, automatic testing, built-in testing, production testing
25	Jyh-Charn Liu, Kang G. Shin	Polynomial Testing of Packet Switching Networks.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	polynomial testing, multiple stuck-at fault model, functional testing method, network level, switch level, network-level testing, built-in tester, multiprocessor interconnection networks, packet switching, multiprocessor systems, automatic testing, polynomials, multistage interconnection networks, packet switching networks, routing dynamic
25	Tsong Yueh Chen, Man Fai Lau, Kwan Yong Sim, Chang-Ai Sun	On detecting faults for Boolean expressions.	Softw. Qual. J.	2009	DBLP DOI BibTeX RDF	MUMCUT strategy, Software testing, Fault detection, Specification based testing, Black-box testing, Fault based testing, Boolean specification
25	Michael Ellims, Darrel C. Ince, Marian Petre	The Effectiveness of T-Way Test Data Generation.	SAFECOMP	2008	DBLP DOI BibTeX RDF	t-way testing, Software testing, random testing, unit test, mutation, combinatorial design, automated test generation, pairwise testing
25	Antonia Bertolino, Martina Marré	Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program branch testing, program flowgraph, program inputs, ddgraph, graph theoretic principles, arc trees, unconstrained arcs, implied tree, recursive iteration, software analysis tool, automated testing tool, software tools, program testing, flexibility, trees (mathematics), dominance, program diagnostics, control flow analysis, simplicity, implication, program control structures, flow graphs, dominator tree, selection strategy, infeasible paths, software testing tool, path covers
25	Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi	Test Selection Based on Finite State Models.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	partial W-method, full fault-detection power, interaction parameters, reset function, software engineering, protocols, program testing, conformance testing, conformance testing, determinism, test suites, protocol implementations, protocol testing, test architectures, finite state models
25	John P. J. Kelly, Susan C. Murphy	Achieving Dependability Throughout the Development Process: A Distributed Software Experiment.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	B/B testing, multiple independent implementations, distributed communication protocol, complex concurrent processing systems, data communication systems, formal specification, protocols, Ada, Ada, software testing, distributed processing, dependability, program testing, automated testing, computer communications software, distributed software engineering
25	Sebastian Wieczorek, Alin Stefanescu	Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces.	ECBS	2010	DBLP DOI BibTeX RDF	UI Testing, System-level Testing, Service-oriented Architecture, Model-based Testing, Enterprise Systems
25	Adnan Causevic, Daniel Sundmark, Sasikumar Punnekkat	An Industrial Survey on Contemporary Aspects of Software Testing.	ICST	2010	DBLP DOI BibTeX RDF	testing practices, agile testing, Software testing
25	René David, Antoine Fuentes, Bernard Courtois	Random Pattern Testing Versus Deterministic Testing of RAM's.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	random pattern testing, double faults, classical fault models, multiple-coupling faults, Markov chains, integrated circuit testing, Markov processes, random-access storage, RAMs, test patterns, parameters, random-access memories, pattern-sensitive faults, deterministic testing, single faults
25	Fei-Ching Kuo, Tsong Yueh Chen, Huai Liu, Wing Kwong Chan	Enhancing adaptive random testing for programs with high dimensional input domains or failure-unrelated parameters.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	Fixed-sized-candidate-set ART, High dimension problem, Failure-unrelated parameters, Software testing, Random testing, Adaptive random testing
25	Xiaofang Zhang, Baowen Xu, Zhenyu Chen 0001, Changhai Nie, Leifang Li	An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	boolean testing, optimization, software testing, test suite reduction, testing requirement
25	Ping Li, Toan Huynh, Marek Z. Reformat, James Miller 0001	A practical approach to testing GUI systems.	Empir. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Two-tierd testing, GUI component, Complete interaction sequence, Testing, GUI, GUI testing, Event sequence
25	Fei-Ching Kuo, Tsong Yueh Chen, Huai Liu, W. K. Chan 0001	Enhancing adaptive random testing in high dimensional input domains.	SAC	2007	DBLP DOI BibTeX RDF	fix-sized-candidate-set ART, high dimension problem, software testing, random testing, adaptive random testing
25	Pedro de Alcântara dos Santos Neto, Rodolfo F. Resende, Clarindo Isaías Pereira da Silva e Pádua	Requirements for information systems model-based testing.	SAC	2007	DBLP DOI BibTeX RDF	software testing, model-based testing, testing automation, test requirements
25	D. Richard Kuhn, Vadim Okun	Pseudo-Exhaustive Testing for Software.	SEW	2006	DBLP DOI BibTeX RDF	software testing, automated testing, combinatorial testing
25	Johannes Mayer, Ralph Guderlei	On Random Testing of Image Processing Applications.	QSIC	2006	DBLP DOI BibTeX RDF	test data selection, Random Testing, testing oracle, Metamorphic Testing, test evaluation
25	Xiaoyuan Xie, Liang Shi, Changhai Nie, Yanxiang He, Baowen Xu	A Dynamic Optimization Strategy for Evolutionary Testing.	APSEC	2005	DBLP DOI BibTeX RDF	Software testing, dynamic optimization, structural testing, evolutionary testing
25	Inali Wisniewski Soares, Silvia Regina Vergilio	Mutation Analysis and Constraint-Based Criteria: Results from an Empirical Evaluation in the Context of Software Testing.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	structural testing criteria, constraint-based testing, mutation testing
25	María José Suárez Cabal, Javier Tuya	Using an SQL coverage measurement for testing database applications.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	SQL testing, statement coverage, software testing, verification and validation, database testing
25	Tsong Yueh Chen, Robert G. Merkel, G. Eddy, P. K. Wong	Adaptive Random Testing Through Dynamic Partitioning.	QSIC	2004	DBLP DOI BibTeX RDF	proportional sampling strategy, random testing, adaptive random testing, partition testing
25	Márcio Eduardo Delamaro, José Carlos Maldonado, Aditya P. Mathur	Interface Mutation: An Approach for Integration Testing.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	mutation testing, testing tool, integration testing, mutation analysis, Test adequacy criteria
25	Sandrine-Dominique Gouraud, Alain Denise, Marie-Claude Gaudel, B. Marr	A New Way of Automating Statistical Testing Methods.	ASE	2001	DBLP DOI BibTeX RDF	statistical and random testing, software testing, constraint solving, structural testing, combinatorial structures
25	Wei-Tek Tsai, Yongzhong Tu, Weiguang Shao, Ezra Ebner	Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates.	COMPSAC	1999	DBLP DOI BibTeX RDF	Testing Object-Oriented Design Patterns, Testing Object-Oriented Frameworks, Testing
25	Bev Littlewood, David Wright 0001	Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	operational testing, testing stopping rule, software reliability, Safety-critical software, statistical testing
25	J. Jenny Li, Hong Liu, Rudolph E. Seviora	Constructing automated protocol testing oracles to accommodate specification nondeterminism.	ICCCN	1997	DBLP DOI BibTeX RDF	automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction
25	Hadar Ziv, Debra J. Richardson	Constructing Bayesian-network models of software testing and maintenance uncertainties.	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
25	Sandeep Pagey, Ajay Khoche, Erik Brunvand	DFT for fast testing of self-timed control circuits.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	fast testing, self-timed control circuits, execution paths, simultaneous testing, OCCAM based circuit compiler, OCCAM program, self-timed macro-modules, modified modules, macromodules, fault diagnosis, logic testing, delays, design for testability, DFT, logic CAD, asynchronous circuits, translation, program compilers, automatic test software
25	Walter W. Weber, Adit D. Singh	An experimental evaluation of the differential BICS for IDDQ testing.	VTS	1995	DBLP DOI BibTeX RDF	differential BICS, CMOS test chips, inter-layer shorts, intra-layer shorts, fault diagnosis, integrated circuit testing, fault coverage, CMOS integrated circuits, opens, built-in current sensor, IC testing, I/sub DDQ/ testing, electric current measurement, electric sensing devices
25	David W. Binkley	Reducing the cost of regression testing by semantics guided test case selection.	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
25	Daniel Hoffman, Paul A. Strooper	Automated Module Testing in Prolog.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	input generation, test oracle problems, test inputs, output oracle, automated input generation, trace invariants, run-time performance, logic programming, Prolog, PROLOG, C, program testing, random testing, functional testing, C language, maintenance costs
25	Nozer D. Singpurwalla	Determining an Optimal Time Interval for Testing and Debugging Software.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	optimal time interval, single-state testing, software testing, uncertainty, decision-making, software reliability, program testing, probabilistic models, decision theory, decision theory, costs, programming theory, program debugging, utility function, optimization problem, software failure, software debugging, expected utility, maximization
25	Jae-Hee Lim, Suk-Hoon Song, Tae-Yong Kuc, Hong-Seong Park, Hong-Seak Kim	A Hierarchical Test Model and Automated Test Framework for RTC.	FGIT	2009	DBLP DOI BibTeX RDF	Robot Software Component Testing, Robot Hardware Testing, Hierarchical Test Model, Automated Testing System, Robotics
25	Xuan-Tu Tran, Yvain Thonnart, Jean Durupt, Vincent Beroulle, Chantal Robach	A Design-for-Test Implementation of an Asynchronous Network-on-Chip Architecture and its Associated Test Pattern Generation and Application.	NOCS	2008	DBLP DOI BibTeX RDF	NoC testing, QDI asynchronous logic, Network-on-Chip, DfT, testability, NoC, Design-for-Test, GALS, SoC testing, testing methodology, on-chip communication, Globally Asynchronous - Locally Synchronous
25	Mike Holcombe, Florentin Ipate	Complete Test Generation for Extreme Programming.	XP	2004	DBLP DOI BibTeX RDF	unit testing, Functional testing, acceptance testing, test set generation, X-machines
25	Yuen-Tak Yu, Man Fai Lau, Tsong Yueh Chen	Using the Incremental Approach to Generate Test Sets: A Case Study.	QSIC	2003	DBLP DOI BibTeX RDF	Empirical study, test case generation, specification-based testing, partition testing, fault-based testing
25	Asim Jalis	Probe Tests: A Strategy for Growing Automated Tests around Legacy Code.	XP/Agile Universe	2002	DBLP DOI BibTeX RDF	NUnit, xUnit, refactoring, Unit testing, functional testing, automated testing, logging, C#, .NET, legacy code, mock objects, embedded tests
25	Nuo Li, JeeHyun Hwang, Tao Xie 0001	Multiple-implementation testing for XACML implementations.	TAV-WEB	2008	DBLP DOI BibTeX RDF	multiple-implementation testing, policy decision point, testing, XACML, access control policy
25	Nikolai Tillmann, Jonathan de Halleux	White-box testing of behavioral web service contracts with Pex.	TAV-WEB	2008	DBLP DOI BibTeX RDF	web service, testing, unit testing, symbolic execution
25	Fatiha Zaïdi, Emmanuel Bayse, Ana R. Cavalli	Network protocol interoperability testing based on contextual signatures and passive testing.	SAC	2009	DBLP DOI BibTeX RDF	contextual signatures, communication protocols, WAP, interoperability testing, passive testing
25	Raul Garcia	Case study: experiences on SQL language fuzz testing.	DBTest	2009	DBLP DOI BibTeX RDF	fuzz testing, security, testing, SQL, case study, SQL server
25	Alessandro Marchetto 0001, Paolo Tonella, Filippo Ricca	State-Based Testing of Ajax Web Applications.	ICST	2008	DBLP DOI BibTeX RDF	Testing, Web Application, AJAX, State-based Testing
25	Sergey V. Zelenov, Sophia A. Zelenova	Model-Based Testing of Optimizing Compilers.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	compiler testing, formalization of requirements, formal data model, model based testing, test data generation
25	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
25	Jean Scholtz	Adaptation of Traditional Usability Testing Methods for Remote Testing.	HICSS	2001	DBLP DOI BibTeX RDF	usability testing, web usability, remote testing
25	Xia Yin, Zhiliang Wang, Chuanming Jing, Xingang Shi	A TTCN-3-based protocol testing system and its extension.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	PITSv3, TTCN-3, robustness testing, protocol testing
25	Tai-Hua Lu, Chung-Ho Chen, Kuen-Jong Lee	A hybrid software-based self-testing methodology for embedded processor.	SAC	2008	DBLP DOI BibTeX RDF	embedded processor testing, fault coverage, functional testing, software-based self-test
25	Shalabh Goyal, Abhijit Chatterjee, Michael Purtell	A Low-Cost Test Methodology for Dynamic Specification Testing of High-Speed Data Converters.	J. Electron. Test.	2007	DBLP DOI BibTeX RDF	data converter testing, low-cost test and dynamic specification testing
25	Tianyou Wang, Jun Ni 0001	Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time in Computerized Testing.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF	social implications of IT, educational and psychological testing, computerized testing, education measurement, parallel computing, HPC
25	Constantin Sârbu, Andréas Johansson, Falk Fraikin, Neeraj Suri	Improving Robustness Testing of COTS OS Extensions.	ISAS	2006	DBLP DOI BibTeX RDF	Software testing, operating system, COTS, device driver, robustness testing
25	Sira Vegas, Victor R. Basili	A Characterisation Schema for Software Testing Techniques.	Empir. Softw. Eng.	2005	DBLP DOI BibTeX RDF	testing technique selection, characterisation schema, Software testing
25	Irith Pomeranz, Sudhakar M. Reddy	Concurrent Online Testing of Identical Circuits Using Nonidentical Input Vectors.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	Concurrent online testing, structural dependence, testing through output comparison, functional dependence
25	Tetsuro Katayama, Yusuke Yabuya	Proposal of a Method to Support Testing for Java Programs with UML.	APSEC	2005	DBLP DOI BibTeX RDF	test items, Java, Unified Modeling Language (UML), software testing, functional testing
25	Johannes Mayer	Lattice-based adaptive random testing.	ASE	2005	DBLP DOI BibTeX RDF	random testing, adaptive random testing, test case selection
25	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
25	Natalia Juristo Juzgado, Ana María Moreno 0001, Sira Vegas	Reviewing 25 Years of Testing Technique Experiments.	Empir. Softw. Eng.	2004	DBLP DOI BibTeX RDF	testing techniques, empirical body of knowledge, Testing
25	Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche	Assessing and Improving State-Based Class Testing: A Series of Experiments.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	testing experimentation, category partition, UML statecharts, State-based testing
25	Tugkan Batu, Ravi Kumar 0001, Ronitt Rubinfeld	Sublinear algorithms for testing monotone and unimodal distributions.	STOC	2004	DBLP DOI BibTeX RDF	monotone and unimodal distributions, property testing, distribution testing, sublinear algorithms
25	Manindra Agrawal, Somenath Biswas	Primality and identity testing via Chinese remaindering.	J. ACM	2003	DBLP DOI BibTeX RDF	Primality testing, polynomial identity testing
25	Henrik Bærbak Christensen	Systematic testing should not be a topic in the computer science curriculum!	ITiCSE	2003	DBLP DOI BibTeX RDF	CS curriculum, Systematic Testing, systematic testing
25	Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen	Tolerance of Control-Flow Testing Criteria.	COMPSAC	2003	DBLP DOI BibTeX RDF	RC/DC, software testing, effectiveness, empirical evaluation, tolerance, testing criteria, MC/DC
25	Michael Lister	Streaming format software for usability testing.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	target customers, testing procedures, testing software, internet, usability, video, browser, websites, codec, multi-stream
25	Wei-Tek Tsai, Akihiro Saimi, Lian Yu, Raymond A. Paul	Scenario-based Object-Oriented Testing Framework.	QSIC	2003	DBLP DOI BibTeX RDF	Scenario-based testing, object-oriented test frameworks, design for change and automated test execution, design patterns, regression testing
25	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
25	Gregg Rothermel, Roland H. Untch, Chengyun Chu, Mary Jean Harrold	Prioritizing Test Cases For Regression Testing.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	software testing, empirical studies, regression testing, Test case prioritization
25	Miroslav Popovic, Vladimir Kovacevic, Miodrag R. Temerinac	Software Testing Concept Used for MAS/C-Compiler.	EUROMICRO	2000	DBLP DOI BibTeX RDF	software testing-tools and bit-exact verification, software testing
25	Manindra Agrawal, Somenath Biswas	Primality and Identity Testing via Chinese Remaindering.	FOCS	1999	DBLP DOI BibTeX RDF	Primality testing, Polynomial identity testing
25	Chin-Yu Huang, Sy-Yen Kuo, Michael R. Lyu	Optimal Software Release Policy Based on Cost and Reliability with Testing Efficiency.	COMPSAC	1999	DBLP DOI BibTeX RDF	Optimal Software Release Time, Software Reliability Modeling, Non Homogeneous Poisson Process, Testing Efficiency, Testing-Effort
25	Hwan Wook Sohn, David Chenho Kung, Pei Hsia	CORBA Components Testing with Perception-Based State Behavior.	COMPSAC	1999	DBLP DOI BibTeX RDF	perception-based state machine, program replay, CORBA, deterministic testing, dynamic testing
25	Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, Paulo César Masiero, Márcio Eduardo Delamaro	Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing.	SCCC	1999	DBLP DOI BibTeX RDF	Software Testing, Tools, Finite State Machines, Reactive Systems, Mutation Testing
25	Marlon Erthal Righi Vieira, Guilherme Horta Travassos	An Approach to Perform Behavior Testing in Object-Oriented Systems.	TOOLS (27)	1998	DBLP DOI BibTeX RDF	integrated software engineering environments, testing automation, object-oriented testing
25	Pramodchandran N. Variyam, Abhijit Chatterjee	Test generation for comprehensive testing of linear analog circuits using transient response sampling.	ICCAD	1997	DBLP DOI BibTeX RDF	Implicit functional testing, Transient testing, Linear Analog Circuits
25	Antonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti	An approach to integration testing based on architectural descriptions.	ICECCS	1997	DBLP DOI BibTeX RDF	formal architectural descriptions, CHAM formalism, coverage strategy, software engineering, software architectures, unit testing, integration testing, architectural descriptions
25	Phil Stocks, David A. Carrington	A Framework for Specification-Based Testing.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Specification-based testing, testing strategies, test oracles, Z notation, test data
25	Yuan-Tzu Ting, Li Wei Chao, Wei Chung Chao	A Practical Implementation Of Dynamic Testing Of An Ad Converter.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	AD converter, effective bits, differential nonlinearity, integral nonlinearity, mixed frequency estimation algorithm, weighted least square method, spectral average method, frequency domain estimation, logical analyzer, instrument controller, high speed data acquisition device, GPIB, Datel ADC-HS12B, programmable signal generator, algorithm, software, automatic testing, histogram, PC, signal to noise ratio, analogue-digital conversion, dynamic testing
25	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
25	Abu Khari bin A'Ain, A. H. Bratt, A. P. Dorey	On the development of power supply voltage control testing technique for analogue circuits.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	power supply circuits, voltage control, power supply voltage control testing, hard defects, soft defects, simulation, fault diagnosis, integrated circuit testing, data analysis, data analysis, circuit analysis computing, operational amplifiers, operational amplifier, analogue integrated circuits, IC tests, analogue circuits
25	Patrick Kam Lui, Jon C. Muzio	Constrained parity testing.	J. Electron. Test.	1991	DBLP DOI BibTeX RDF	compaction testing, parity testing, Built-in self-test, signature analysis
25	Yuhoon Ki, Jooyoung Seo, Byoungju Choi, Kwanghyun La	Tool support for new test criteria on embedded systems: Justitia.	ICUIMC	2008	DBLP DOI BibTeX RDF	embedded system testing, automation, testing tool
25	Ziyuan Wang, Baowen Xu, Changhai Nie	Greedy Heuristic Algorithms to Generate Variable Strength Combinatorial Test Suite.	QSIC	2008	DBLP DOI BibTeX RDF	variable strength, software testing, test generation, combinatorial testing
25	Bogdan Ionescu, Marcel Ionescu, Stejarel Veres, Dan Ionescu, Fernando Cuervo, Maike Luiken-Miller	A Testbed and Research Network for Next Generation Services over Next Generation Networks.	TRIDENTCOM	2005	DBLP DOI BibTeX RDF	testbed for live network testing, testing VPLS services, control platform for network and services, next generation networks
25	Patrick J. Schroeder, Pankaj Bolaki, Vijayram Gopu	Comparing the Fault Detection Effectiveness of N-way and Random Test Suites.	ISESE	2004	DBLP DOI BibTeX RDF	n-way testing, empirical study, fault injection, controlled experiment, Combinatorial testing
25	C. V. Ramamoorthy	Distributed techniques in software systems integration.	FTDCS	1995	DBLP DOI BibTeX RDF	software systems integration, distributed computing techniques, traditional software development, waterfall model, basic conceptual model, generic integration lifecycle, design, formal specification, testing, specification, software development, software tools, validation, requirements, implementation, program verification, software development management, consumer electronics, iterative testing, automation support
25	Yashwant K. Malaiya, Anneliese von Mayrhauser, Pradip K. Srimani	An Examination of Fault Exposure Ratio.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	fault exposure ratio, per-fault hazard rate, detectability profile, logarithmic model, predictive capability, fault density, software testing, software reliability, software reliability, program testing
25	Zhen Ming Jiang	Automated analysis of load testing results.	ISSTA	2010	DBLP DOI BibTeX RDF	software mining, dynamic analysis, load testing
25	Gregor von Bochmann, Guy-Vincent Jourdan	Testing k-Safe Petri Nets.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	k -safe Petri nets, free-choice Petri nets, fault model, Conformance testing, automatic test generation
25	Il-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A. Porter	Effective and scalable software compatibility testing.	ISSTA	2008	DBLP DOI BibTeX RDF	software compatibility testing, component-based software system
25	Alessandro Orso, Tao Xie 0001	BERT: BEhavioral Regression Testing.	WODA	2008	DBLP DOI BibTeX RDF	software evolution, dynamic analysis, regression testing
25	Alex Groce, Rajeev Joshi	Random testing and model checking: building a common framework for nondeterministic exploration.	WODA	2008	DBLP DOI BibTeX RDF	model checking, dynamic analysis, random testing, test frameworks