Search results for "Testing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Elaine J. Weyuker	More Experience with Data Flow Testing.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	Rapps-Weyuker data flow testing criteria, tester variability, cost assessment, data adequacy, software testing, fault detection, program testing, software cost estimation, data flow testing, numerical programs
28	Carlos Urias Munoz	An Approach to Software Product Testing.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	software product testing, self-checking test cases, black box test cases, random test cases, correctness measurements, defect circumvention, sampling, program testing, program testing, automatic test case generation, exhaustive testing
28	Abhijit Jas, Kartik Mohanram, Nur A. Touba	An Embedded Core DFT Scheme to Obtain Highly Compressed Test Sets.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	Test Vector Compression, External Testing, Weighted Pseudo-Random Testing, Built-In Self-Test, Embedded Processor, System-on-a-Chip, Automatic Test Equipment, At-Speed Testing, Scan Chains, Deterministic Testing
28	Angela Krstic, Kwang-Ting Cheng	Generation of high quality tests for functional sensitizable paths.	VTS	1995	DBLP DOI BibTeX RDF	high quality tests, functional sensitizable paths, long paths, untestable paths, faulty conditions, test derivation, logic testing, delays, timing, integrated circuit testing, combinational circuits, combinational circuits, automatic testing, delay testing, test vectors, timing information
28	Sreedevi Sampath, Renée C. Bryce, Gokulanand Viswanath, Vani Kandimalla, Akif Günes Koru	Prioritizing User-Session-Based Test Cases for Web Applications Testing.	ICST	2008	DBLP DOI BibTeX RDF	pair-wise interaction coverage, pair-wise interaction testing, user-session-based testing, test case prioritization, web application testing
28	Mikhail Auguston, James Bret Michael, Man-tak Shing	Environment behavior models for scenario generation and testing automation.	A-MOST	2005	DBLP DOI BibTeX RDF	reactive and real time system testing, model-based testing, testing automation
28	Sandro Morasca, Stefano Serra Capizzano	On the analytical comparison of testing techniques.	ISSTA	2004	DBLP DOI BibTeX RDF	subdomain-based testing, software testing, random testing, majorization
28	Alexander Pretschner, Tejeddine Mouelhi, Yves Le Traon	Model-Based Tests for Access Control Policies.	ICST	2008	DBLP DOI BibTeX RDF	Access Control, Model-Based Testing, Mutation Testing, Combinatorial Testing
28	Martín González Rodríguez, Fidel Díez Díaz, Agueda Vidau	Remote Navigability Testing Using Data Gathering Agents.	HCI (7)	2007	DBLP DOI BibTeX RDF	Navigability Testing, Agents, Usability Testing, ANTS, Remote Testing
28	Lee J. White, Khaled Jaber, Brian Robinson	Utilization of Extended Firewall for Object-Oriented Regression Testing.	ICSM	2005	DBLP DOI BibTeX RDF	Firewall Regression Testing, Extended Firewall Testing, Object-Oriented Software Testing
28	Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, Tohru Kikuno	A Selective Software Testing Method Based on Priorities Assigned to Functional Modules.	APAQS	2001	DBLP DOI BibTeX RDF	Testing priority, Design of testing specification, Software testing
28	Eric W. MacDonald, Nur A. Touba	Testing domino circuits in SOI technology.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	silicon-on-insulator, SOI technology, dynamic circuit styles, fault modeling analysis, overall fault coverage, parasitic bipolar leakage, CMOS logic, logic testing, integrated circuit testing, automatic testing, fault simulation, CMOS logic circuits, leakage currents, domino circuits
28	Ameet Bagwe, Rubin A. Parekhji	Functional testing and fault analysis based fault coverage enhancement techniques for embedded core based systems.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	fault coverage enhancement, embedded core based systems, test constraints, Texas Instruments TMS320C27xx, memory wrapper logic, fault diagnosis, logic testing, integrated circuit testing, application specific integrated circuits, functional testing, digital signal processing chips, fault analysis
28	Marisa A. Sanchez, Juan Carlos Augusto	Testing an Implementation of a Temporal Logic Language.	SCCC	2000	DBLP DOI BibTeX RDF	temporal logic language, language implementation testing, Temporal Prolog, Hilbert model, formal specification, logic programming, temporal logic, temporal logic, PROLOG, program testing, specification-based testing, inference rules, axioms, program errors
28	Hans Schaefer	Tutorial: organizing, managing and optimizing software testing.	APSEC	1997	DBLP DOI BibTeX RDF	serious defects, testing process control, software testing, program testing, cost, philosophy
28	Chen-Yang Pan, Kwang-Ting Cheng	Implicit functional testing for analog circuits.	VTS	1996	DBLP DOI BibTeX RDF	implicit functional testing, linear time-invariant circuits, impulse response samples, pseudo-random technique, production testing time, yield coverages, VLSI, integrated circuit testing, fault coverage, analog circuits, analogue integrated circuits, mixed analogue-digital integrated circuits, transient response
28	Lee J. White	Regression Testing of GUI Event Interactions.	ICSM	1996	DBLP DOI BibTeX RDF	Pairwise Event Interaction, GUI Function Testing, Regression Testing, GUI Testing
28	James A. Whittaker, Michael G. Thomason	A Markov Chain Model for Statistical Software Testing.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	statistical software testing, software field quality, software usage, test input sequences, multiple probability distributions, sequence generating properties, probability, software quality, Markov processes, program testing, stochastic model, statistical inference, software failures, Markov chain model, testing process
28	Richard N. Taylor, David L. Levine, Cheryl D. Kelly	Structural Testing of Concurrent Programs.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	structural testing techniques, structural testing criteria, concurrency state coverage, state transition coverage, synchronization coverage, static concurrency analyzer, program transformation system, powerful run-time monitor, controllable run-time scheduler, CSP-like languages, static naming, tasking objects, scheduling, parallel programming, Ada, concurrency control, software metrics, program testing, concurrent programs, support tools, sequential programs
28	Richard G. Hamlet, Ross Taylor	Partition Testing Does Not Inspire Confidence.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	expected failures, abstract, program testing, program testing, system recovery, failure detection, partition testing, theoretical models
28	Robert S. Matthews, K. H. Muralidhar, Steven Sparks	MAP 2.1 Conformance Testing Tools.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	MAP 2.1 conformance testing tools, run-time components, high-level control tool, document handling tools, manufacturing computer control, protocols, monitoring, software tools, program testing, program testing, ISO, test engines
28	Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima	Design and Implementation of Test-Case Generation for Concurrent Programs.	APSEC	1998	DBLP DOI BibTeX RDF	Event InterActions Graph(EIAG), software testing, concurrent programs, test-cases, structural testing, testing criteria, task-types
28	A. Jefferson Offutt, Stephen D. Lee	An Empirical Evaluation of Weak Mutation.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	weak mutation, fault-based technique, unit-level software testing, computational savings, software engineering, efficiency, program testing, effectiveness, mutation testing
28	Alexandre Duarte, Gustavo Wagner, Francisco Vilar Brasileiro, Walfredo Cirne	Multi-environment software testing on the grid.	PADTAD	2006	DBLP DOI BibTeX RDF	unit testing, computational grid, JUnit, distributed testing
28	Roy Patrick Tan, Stephen Edwards	Evaluating Automated Unit Testing in Sulu.	ICST	2008	DBLP DOI BibTeX RDF	automated unit testing, software engineering, software testing, programming languages, design by contract, test evaluation
28	Ravidutta Kodre, Hadar Ziv, Debra J. Richardson	Statistical Sampling Based Approach to Alleviate Log Replay Testing.	ICST	2008	DBLP DOI BibTeX RDF	Coupon Collector, Log Replay testing, Sampling in Log replay testing
28	David Cebrián, Valentín Valero Ruiz, Fernando Cuartero	Automation of Avionic Systems Testing.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	grammar testing, Real time systems, Testing, Avionics systems
28	Hana Sevcikova, Alan Borning, David Socha, Wolf-Gideon Bleek	Automated testing of stochastic systems: a statistically grounded approach.	ISSTA	2006	DBLP DOI BibTeX RDF	software engineering, software testing, unit tests, hypothesis testing, stochastic algorithms
28	Yogesh Singh, Anju Saha	Enhancing Data Flow Testing of Classes through Design by Contract.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	design by contract, object oriented testing, data flow testing
28	Guoqiang Shu, Yating Hsu, David Lee 0001	Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning.	FORTE	2008	DBLP DOI BibTeX RDF	Fuzz testing, Security Testing, Protocol Synthesis
28	W. K. Chan 0001, Tsong Yueh Chen, S. C. Cheung 0001, T. H. Tse, Zhenyu Zhang 0004	Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks.	Ada-Europe	2007	DBLP DOI BibTeX RDF	WSN application, Wireless sensor network, software testing, power awareness, test automation, test oracle, metamorphic testing
28	Abhishek Singh 0001, Jim Plusquellic, Dhananjay S. Phatak, Chintan Patel	Defect Simulation Methodology for iDDT Testing.	J. Electron. Test.	2006	DBLP DOI BibTeX RDF	iDDT, transient current testing, device testing, ATPG, fault simulation, IDDQ, defect simulation, defect-based test
28	Yu Lei 0001, Richard H. Carver	Reachability Testing of Concurrent Programs.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Software testing, concurrent programming, reachability testing
28	Avik Sinha, Carol S. Smidts	HOTTest: A model-based test design technique for enhanced testing of domain-specific applications.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	HaskellDB, database-specific test case generation, domain-specific testing, test generation tools, domain-specific languages, Haskell, model-based testing, Test case generation
28	Kwang Ik Seo, Eun Man Choi	Comparison of Five Black-box Testing Methods for Object-Oriented Software.	SERA	2006	DBLP DOI BibTeX RDF	Comparison of testing methods, Performance of testing methods, Specification-based test, Black-box test
28	Henry Muccini, Marcio S. Dias, Debra J. Richardson	Towards software architecture-based regression testing.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	architecture-based testing and analysis, regression testing (RT), software architecture (SA), dependable systems
28	Wei-Tek Tsai, Yinong Chen, Dawei Zhang, Hai Huang 0011	Voting Multi-Dimensional Data with Deviations for Web Services under Group Testing.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF	Clustering, Voting, Group Testing, Web Services Testing
28	Ronitt Rubinfeld, Rocco A. Servedio	Testing monotone high-dimensional distributions.	STOC	2005	DBLP DOI BibTeX RDF	monotone distributions, property testing, distribution testing, sublinear algorithms
28	Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa	Demand-driven structural testing with dynamic instrumentation.	ICSE	2005	DBLP DOI BibTeX RDF	demand-driven instrumentation, testing, structural testing, code coverage, Java programming language
28	Changhai Nie, Baowen Xu, Liang Shi, Guowei Dong	Automatic Test Generation for N-Way Combinatorial Testing.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF	software testing, test generation, combinatorial testing
28	T. H. Tse, Stephen S. Yau, W. K. Chan 0001, Heng Lu 0001, Tsong Yueh Chen	Testing Context-Sensitive Middleware-Based Software Applications.	COMPSAC	2004	DBLP DOI BibTeX RDF	RCSM, middleware-based application, metamorphic testing, Property-based testing
28	Alessandro Orso, Nanjuan Shi, Mary Jean Harrold	Scaling regression testing to large software systems.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	testing, software maintenance, software evolution, regression testing, test selection
28	Atif M. Memon, Mary Lou Soffa	Regression testing of GUIs.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	GUI call-graph, GUI control-flow graph, call-tree, classification of events, repairing test cases, regression testing, GUI testing
28	C. P. Ravikumar, Nitin Kakkar, Saurabh Chopra	Mutual Testing based on Wavelet Transforms.	VLSI Design	2003	DBLP DOI BibTeX RDF	Mutual Testing, Discrete Wavelet Transform, At-Speed Testing
28	Lee J. White, Husain Almezen, Shivakumar Sastry	Firewall Regression Testing of GUI Sequences and their Interactions.	ICSM	2003	DBLP DOI BibTeX RDF	Complete Interaction GUI Sequences, Graphical User Interfaces, Regression Testing, GUI Testing
28	Marcel Dix, Holger D. Hofman	Automated Software Robustness Testing - Static and Adaptive Test Case Design Methods.	EUROMICRO	2002	DBLP DOI BibTeX RDF	Software robustness, test procedures, test case reduction, testing, adaptive testing
28	Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou	Fault-Based Testing in the Absence of an Oracle.	COMPSAC	2001	DBLP DOI BibTeX RDF	symbolic execution, Fault-based testing, metamorphic testing, oracle problem
28	Hong Mei 0001	End-to-End Integration Testing in CBSD.	COMPSAC	2001	DBLP DOI BibTeX RDF	End-to-End Testing, Feature Interaction, CBSD, Integration Testing
28	Edwin S. Hong, Richard E. Ladner	Group Testing for Image Compression.	Data Compression Conference	2000	DBLP DOI BibTeX RDF	Wavelet image coding, Zerotree coding, Golomb codes, Hwang's generalized binary splitting algorithm, Embedded image coding, Bit-plane coding, Adaptive Golomb codes, Competitive group testing, Group testing, Rate-distortion performance
28	In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee	Testing of Concurrent Programs Based on Message Sequence Charts.	PDSE	1999	DBLP DOI BibTeX RDF	Concurrent Program Testing, Constraints-based Testing, Message Sequence Charts
28	Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper	TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing.	TOOLS (32)	1999	DBLP DOI BibTeX RDF	formal methods, specification-based testing, Object-Z, testing tools
28	Jeffery A. Solheim, John H. Rowland	An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	artificial software systems, top-down strategies, sandwich integration strategies, spot unit testing, bottom-up integration, defect correction, big-bang strategies, code generator, software reliability, program testing, system reliability, reliable systems, verification processes
28	Steven J. Zeil, Faten H. Afifi, Lee J. White	Detection of Linear Errors via Domain Testing.	ACM Trans. Softw. Eng. Methodol.	1992	DBLP DOI BibTeX RDF	domain testing, perturbation testing
28	Florentin Ipate, Mike Holcombe	Using State Diagrams to Generate Unit Tests for Object-Oriented Systems.	XP	2005	DBLP DOI BibTeX RDF	finite state machines, unit testing, functional testing, state diagrams, stream X-machines
28	Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting	A subset of precise UML for model-based testing.	A-MOST	2007	DBLP DOI BibTeX RDF	UML, model-based testing, OCL
27	Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim	Pre-testing Flash Device Driver through Model Checking Techniques.	ICST	2008	DBLP DOI BibTeX RDF	Model Checking, Testing, Embedded Software
27	Davide Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, Richard A. Kemmerer, William K. Robertson, Fredrik Valeur, Giovanni Vigna	Are your votes really counted?: testing the security of real-world electronic voting systems.	ISSTA	2008	DBLP DOI BibTeX RDF	security testing, voting systems, dres
27	Harry M. Sneed	Testing a Web Application.	WSE	2004	DBLP DOI BibTeX RDF	Web Applications, Evolution, Regression Testing, Assertions, File Comparison
27	Alexandre Petrenko, Nina Yevtushenko 0001, Jiale Huo	Testing Transition Systems with Input and Output Testers.	TestCom	2003	DBLP DOI BibTeX RDF	input/output transition system, test generation, fault model, conformance testing
27	Heejin Kim, Byoungju Choi, Seokjin Yoon	Performance testing based on test-driven development for mobile applications.	ICUIMC	2009	DBLP DOI BibTeX RDF	mobile applications, test-driven development(TDD), performance testing
27	Walter Hargassner, Thomas Hofer, Claus Klammer, Josef Pichler, Gernot Reisinger	A Script-Based Testbed for Mobile Software Frameworks.	ICST	2008	DBLP DOI BibTeX RDF	Software testing
27	Chengying Mao, Yansheng Lu, Jinlong Zhang	Regression testing for component-based software via built-in test design.	SAC	2007	DBLP DOI BibTeX RDF	built-in test design, method call graph, component, regression testing, test case selection
27	Okehee Goh, Yann-Hang Lee	Schedulable Online Testing Framework for Real-Time Embedded Applications in VM.	EUC	2007	DBLP DOI BibTeX RDF	Real-Time Embedded Applications, Virtual Machine, Online Testing
27	Leila Naslavsky, Debra J. Richardson	Using traceability to support model-based regression testing.	ASE	2007	DBLP DOI BibTeX RDF	model-driven development, traceability, model-based testing
27	Atsushi Kawano, Daisuke Oka, Yasunori Kubo, Shinji Yamashita, Kaori Maeda, Tomoyuki Ohta, Kenji Ishida, Yoshiaki Kakuda	A Topology Controllable Testing Environment for Mobile Ad Hoc Network Software.	MSN	2006	DBLP DOI BibTeX RDF	Mobile Ad Hoc Networks, Software Testing
27	Hyunsook Do, Gregg Rothermel	An empirical study of regression testing techniques incorporating context and lifetime factors and improved cost-benefit models.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	evaluation schemes, tegression testing, empirical studies, test case prioritization, economic models, regression test selection
27	F. T. Chan, W. H. Tang, Tsong Yueh Chen	Software Testing Education and Training in Hong Kong.	QSIC	2005	DBLP DOI BibTeX RDF	software testing, software engineering curriculum
27	HyungJong Kim 0002, Joonmo Kim, Kang Shin Lee, Hongsub Lee, Tae Ho Cho	Simulation-Based Security Testing for Continuity of Essential Service.	ICCSA (1)	2004	DBLP DOI BibTeX RDF	Service Continuity, Experimental Frame, Availability, Survivability, Vulnerability, Security Testing
27	Dieter Hogrefe	Main issues in protocol testing.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	IPv6, SDL, MSC, Protocol testing, TTCN
27	Ivan Granja, Mário Jino	Techniques for Regression Testing: Selecting Test Case Sets Tailored to Possibly Modified Functionalities.	CSMR	1999	DBLP DOI BibTeX RDF	Software Maintenance, Regression Testing, Selective Retest
27	Huey-Der Chu, John E. Dobson, I-Chiang Liu	FAST: a framework for automating statistics-based testing.	Softw. Qual. J.	1997	DBLP DOI BibTeX RDF	software quality, statistical approach, automated software testing
27	Liming Zhu 0001, Yan Liu 0001, Ian Gorton, Ngoc Bao Bui	MDAbench: a tool for customized benchmark generation using MDA.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	performance, testing, code generation, MDA, model-driven development, CASE tools
27	Ralph Guderlei, Johannes Mayer	Statistical Metamorphic Testing Testing Programs with Random Output by Means of Statistical Hypothesis Tests and Metamorphic Testing.	QSIC	2007	DBLP DOI BibTeX RDF
27	Alberto Avritzer, Brian Larson	Load Testing Software Using Deterministic State Testing.	ISSTA	1993	DBLP DOI BibTeX RDF
27	Padmanabhan Krishnan, Percy Antonio Pari Salas	Model-Based Testing and the UML Testing Profile.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
27	Deping Zhang, Changhai Nie, Baowen Xu	A Markov Decision Approach to Optimize Testing Profile in Software Testing.	ICYCS	2008	DBLP DOI BibTeX RDF
27	Arnaud Gotlieb, Patrick Bernard	A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs.	QSIC	2006	DBLP DOI BibTeX RDF
27	Kalpesh Kapoor, Jonathan P. Bowen	Ordering Mutants to Minimise Test Effort in Mutation Testing.	FATES	2004	DBLP DOI BibTeX RDF
27	Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, Axel Rennoch	The UML 2.0 Testing Profile and Its Relation to TTCN-3.	TestCom	2003	DBLP DOI BibTeX RDF
27	Juha Itkonen, Mika Mäntylä, Casper Lassenius	How do testers do it? An exploratory study on manual testing practices.	ESEM	2009	DBLP DOI BibTeX RDF
27	Dan Yu, Gang Ye, Shilong Ma, Naixue Xiong, Laurence Tianruo Yang	The Spacecraft Automatic Testing System Based on Workflow.	APSCC	2008	DBLP DOI BibTeX RDF
27	Thomas Kuhn 0001, Reinhard Gotzhein	Model-Driven Platform-Specific Testing through Configurable Simulations.	ECMDA-FA	2008	DBLP DOI BibTeX RDF
27	Salem Abdennadher, Saghir A. Shaikh	Practices in Testing of Mixed-Signal and RF SoCs.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
27	Soumen Maity, Amiya Nayak	Improved Test Generation Algorithms for Pair-Wise Testing.	ISSRE	2005	DBLP DOI BibTeX RDF
27	Joachim Wegener	Evolutionary Testing Techniques.	SAGA	2005	DBLP DOI BibTeX RDF
27	Wei Chen, Qun Ying, Yunzhi Xue, Chen Zhao	Software Testing Process Automation Based on UTP - A Case Study.	ISPW	2005	DBLP DOI BibTeX RDF
27	Alexander Pretschner	Model-based testing.	ICSE	2005	DBLP DOI BibTeX RDF	coverage, development processes, model-based development
27	Ziliang Wang, Sifeng Liu	Trend testing of grey dynamic models.	SMC (3)	2004	DBLP DOI BibTeX RDF
27	Shirley Halevy, Eyal Kushilevitz	Distribution-Free Property Testing.	RANDOM-APPROX	2003	DBLP DOI BibTeX RDF
27	Maaret Pyhäjärvi, Kristian Rautiainen, Juha Itkonen	Increasing Understanding of the Modern Testing Perspective in Software Product Development Projects.	HICSS	2003	DBLP DOI BibTeX RDF
27	Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan	Correct Passive Testing Algorithms and Complete Fault Coverage.	FORTE	2003	DBLP DOI BibTeX RDF
27	Chin-Yu Huang, Jung-Hua Lo, Sy-Yen Kuo, Michael R. Lyu	Optimal Allocation of Testing Resources for Modular Software Systems.	ISSRE	2002	DBLP DOI BibTeX RDF
27	Artur Czumaj, Christian Sohler	Property Testing with Geometric Queries.	ESA	2001	DBLP DOI BibTeX RDF
27	Xiaoying Bai, Wei-Tek Tsai, Techeng Shen, Bing Li, Raymond A. Paul	Distributed End-to-End Testing Management.	EDOC	2001	DBLP DOI BibTeX RDF
27	Wen-Ben Jone, Paresh Gondalia, Allan Gutjahr	Realizing a high measure of confidence for defect level analysis of random testing [VLSI].	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
27	Henrik Björklund	State Verification.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
27		Part V. Standardized Test Notation and Execution Architecture.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
27	Laura Brandán Briones, Mathias Röhl	Test Derivation from Timed Automata.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
27		Part VII. Appendices.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
26	Donald T. Tang, Lin S. Woo	Exhaustive Test Pattern Generation with Constant Weight Vectors.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	fault testing, multilevel logic, logic testing, test pattern generation, self-testing, VLSI testing, scan path, Constant weight codes, exhaustive testing