Search results for "testing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Joakim Eriksson, Fredrik Österlind, Niclas Finne, Nicolas Tsiftes, Adam Dunkels, Thiemo Voigt, Robert Sauter, Pedro José Marrón	COOJA/MSPSim: interoperability testing for wireless sensor networks.	SimuTools	2009	DBLP DOI BibTeX RDF	simulation, wireless sensor networks, interoperability
32	Mary Jean Harrold	Reduce, reuse, recycle, recover: Techniques for improved regression testing.	ICSM	2009	DBLP DOI BibTeX RDF
32	Hai Hu, Chang-Hai Jiang, Kai-Yuan Cai	Adaptive Software Testing in the Context of an Improved Controlled Markov Chain Model.	COMPSAC	2008	DBLP DOI BibTeX RDF
32	Shirley Halevy, Eyal Kushilevitz	Distribution-Free Connectivity Testing.	APPROX-RANDOM	2004	DBLP DOI BibTeX RDF
32	Brad Long, Paul A. Strooper	A Case Study in Testing Distributed Systems.	DOA	2001	DBLP DOI BibTeX RDF
32	Elaine J. Weyuker	Comparing the Effectiveness of Testing Techniques.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
32	Zhen Ru Dai	UML 2.0 Testing Profile.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
32	Machiel van der Bijl, Fabien Peureux	I/O-automata Based Testing.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
32	Alexander Pretschner, Martin Leucker	Model-Based Testing - A Glossary.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
32	Alexander Pretschner, Jan Philipps	Methodological Issues in Model-Based Testing.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
32		Part I. Testing of Finite State Machines.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
32	Andy Podgurski, Lori A. Clarke	The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
32	Ina Schieferdecker, Jens Grabowski, Theofanis Vassiliou-Gioles, George Din	The Test Technology TTCN-3.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
32	Mark Harman, André Baresel, David W. Binkley, Robert M. Hierons, Lin Hu 0005, Bogdan Korel, Phil McMinn, Marc Roper	Testability Transformation - Program Transformation to Improve Testability.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
31	Xun Yuan, Myra B. Cohen, Atif M. Memon	GUI Interaction Testing: Incorporating Event Context.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF	GUITAR testing system, model-based testing, automated testing, GUI testing, combinatorial interaction testing
31	Shaoying Liu	Automatic Specification-Based Testing: Challenges and Possibilities.	TASE	2011	DBLP DOI BibTeX RDF	Automatic testing, model-based testing, functional testing, Specification-based testing, black-box testing
31	Yu Liu, Hong Zhu	An Experimental Evaluation of the Reliability of Adaptive Random Testing Methods.	SSIRI	2008	DBLP DOI BibTeX RDF	reliability of test method, evaluation of testing methods, experiments on software testing, Software testing, random testing, adaptive random testing
31	Gilles Bernot, Laurent Bouaziz, Pascale Le Gall	A Theory of Probabilistic Functional Testing.	ICSE	1997	DBLP DOI BibTeX RDF	probabilistic testing, reliability, formal specification, software testing, random testing, functional testing, partition testing
31	Charles E. Stroud, Srinivasa Konala, Ping Chen, Miron Abramovici	Built-in self-test of logic blocks in FPGAs (Finally, a free lunch: BIST without overhead!).	VTS	1996	DBLP DOI BibTeX RDF	BIST architecture, programmable logic blocks, field programmable gate arrays, VLSI, logic testing, built-in self test, built-in self-test, integrated circuit testing, automatic testing, FPGA testing, field programmable gate array testing
31	Karim Arabi, Bozena Kaminska	Oscillation-test strategy for analog and mixed-signal integrated circuits.	VTS	1996	DBLP DOI BibTeX RDF	circuit oscillations, oscillation test strategy, analog ICs, low-cost test method, oscillation frequency deviation, wafer-probe testing, final production testing, ASIC testing, integrated circuit testing, operational amplifiers, analogue integrated circuits, mixed analogue-digital integrated circuits, production testing, analogue-digital conversion, mixed-signal ICs
30	Gordon Fraser 0001, Paul Ammann	Reachability and Propagation for LTL Requirements Testing.	QSIC	2008	DBLP DOI BibTeX RDF	requirements testing, software testing, automated testing, test case generation, property testing
30	Wei-Tek Tsai, Lian Yu, Feng Zhu 0001, Raymond A. Paul	Rapid Embedded System Testing Using Verification Patterns.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	embedded systems testing, rapid testing, verification patterns, scenario patterns, Software engineering, testing tools, testing and debugging
30	Elaine J. Weyuker, Filippos I. Vokolos	Experience with Performance Testing of Software Systems: Issues, an Approach, and Case Study.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	software testing, program testing, performance testing, Software performance testing
30	Maneesha Dalmia, André Ivanov, Sassan Tabatabaei	Power supply current monitoring techniques for testing PLLs.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	power supply current monitoring, PLL testing, digital IC, VCO testing, analogue circuit testing, fault detection, phase locked loops, phase-locked loops, current testing, nonlinear circuits, mixed-signal ICs
30	Janusz Sosnowski, A. Kusmierczyk	Pseudorandom versus Deterministic Testing of Intel 80x86 Processors.	EUROMICRO	1996	DBLP DOI BibTeX RDF	Intel 80/spl times/86 processors, computer testing, pseudorandom testing, microprocessor testing, deterministic testing
30	Terry Lee, Ibrahim N. Hajj, Elizabeth M. Rudnick, Janak H. Patel	Genetic-algorithm-based test generation for current testing of bridging faults in CMOS VLSI circuits.	VTS	1996	DBLP DOI BibTeX RDF	GA-based test generators, CMOS VLSI circuits, I/sub DDQ/ current testing, CMOS digital circuits, two-line bridging fault set, compact test set generation, genetic algorithms, VLSI, logic testing, integrated circuit testing, ATPG, automatic test pattern generator, automatic testing, fault location, bridging faults, CMOS digital integrated circuits, adaptive genetic algorithm
30	Hari Balachandran, D. M. H. Walker	Improvement of SRAM-based failure analysis using calibrated Iddq testing.	VTS	1996	DBLP DOI BibTeX RDF	defect-bitmap dictionary, voltage testing, microprocessor cache memory, integrated circuit testing, calibration, calibration, SRAM, cache storage, failure analysis, failure analysis, IDDQ testing, current testing, defect classification, SRAM chips, integrated circuit yield, integrated circuit yield
30	Nur A. Touba, Edward J. McCluskey	Applying two-pattern tests using scan-mapping.	VTS	1996	DBLP DOI BibTeX RDF	scan-mapping, combinational mapping logic, logic testing, built-in self test, built-in self-testing, fault coverage, delay faults, pseudo-random testing, deterministic testing, two-pattern tests
30	Achim D. Brucker, Lukas Brügger, Burkhart Wolff	Model-Based Firewall Conformance Testing.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Model-based Testing, Firewall, Conformance Testing, Security Testing
30	Diego Latella, Mieke Massink	On testing and conformance relations for UML statechart diagrams behaviours.	ISSTA	2002	DBLP DOI BibTeX RDF	UML statechart diagrams, formal testing theory, conformance testing, formal semantics, testing theory
30	Haeng-Kon Kim	Aspect Oriented Testing Frameworks for Embedded Software.	Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing	2008	DBLP DOI BibTeX RDF	AOP(Aspect Oriented Programming), TDD(Testing Driven Development), Embedded Software Testing, Testing Frameworks, Agile Modeling
30	Atifah Ali, Aamer Nadeem, Muhammad Zohaib Z. Iqbal, Muhammad Usman 0013	Regression Testing Based on UML Design Models.	PRDC	2007	DBLP DOI BibTeX RDF	Change identification, UML based testing, Model based testing, Regression testing, Test case selection
30	Shiyi Xu	A New Approach to Improving the Test Effectiveness in Software Testing Using Fault Collapsing.	PRDC	2006	DBLP DOI BibTeX RDF	Software Testing, Mutation Testing, Testing Effectiveness, Fault Equivalence, Fault Dominance
30	Saeed Shamshiri, Hadi Esmaeilzadeh, Zainalabedin Navabi	Instruction-level test methodology for CPU core self-testing.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	CPU core testing, Instruction level testing, test instruction set, BIST, pipelined processor, software-based self testing
30	Tsong Yueh Chen, Robert G. Merkel	Quasi-random testing.	ASE	2005	DBLP DOI BibTeX RDF	quasi-random sequence, random testing, automated testing, adaptive random testing, low-discrepancy sequence
30	James H. Andrews	Case Study of Coverage-Checked Random Data Structure Testing.	ASE	2004	DBLP DOI BibTeX RDF	Testing, empirical software engineering, random testing, unit testing, test oracles
30	Giuseppe A. Di Lucca, Massimiliano Di Penta	Considering Browser Interaction in Web Application Testing.	WSE	2003	DBLP DOI BibTeX RDF	Software testing, Web application testing, State-based testing
30	Wei-Tek Tsai, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li, Raymond A. Paul	Assurance-Based Y2K Testing.	HASE	1999	DBLP DOI BibTeX RDF	Assurance-based testing, Y2K testing, software testing processes
30	João Lourenço, José C. Cunha, Henryk Krawczyk, Piotr Kuzora, Marcin Neyman, Bogdan Wiszniewski	An integrated testing and debugging environment for parallel and distributed programs.	EUROMICRO	1997	DBLP DOI BibTeX RDF	program testing environment, program development process, DDBG, Distributed Debugger, stand-alone tools, intermediate tool, DEIPA, deterministic execution, interactive program analysis, parallel programming, parallel programs, distributed programs, structural testing, testing tool, software integration, program specification, STEPS, debugging tool, debugging environment
30	Mark G. Karpovsky, Vyacheslav N. Yarmolik	Transparent random access memory testing for pattern sensitive faults.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	transparent memory testing, pseudoexhaustive memory testing, built-in self-test, memory testing, signature analysis, random access memory, pattern sensitive faults
30	Po-Ching Hsu, Sying-Jyan Wang	Testing And Diagnosis Of Board Interconnects In Microprocessor-Based Systems.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	multiple-board system, bus emulator, wiring interconnect, testing, fault detection, diagnosis, microprocessor, printed circuit board, printed circuit testing, hierarchical testing
30	Sudhakar M. Reddy	Testing-what's missing? An incomplete list of challenges.	ICCD	1995	DBLP DOI BibTeX RDF	testing area, quality guarantees, special-purpose procedures, integrated design and test, high-level failure models, program testing, computer testing, benchmark circuits, design cycle
30	Paul Ammann, Susan S. Brilliant, John C. Knight	The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	life testing, imperfect error detection, life testing, unobserved failures, confidence level, software testing, probability, software reliability, error detection, test cases, test oracles, critical systems, failure probability, software reliability assessment
30	A. Jefferson Offutt	Investigations of the Software Testing Coupling Effect.	ACM Trans. Softw. Eng. Methodol.	1992	DBLP DOI BibTeX RDF	software testing, unit testing, mutation, fault-based testing
30	Elaine J. Weyuker	The Cost of Data Flow Testing: An Empirical Study.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	test data adequacy criteria, data-flow information, theoretical complexity analysis, software testing criteria, parallel programming, empirical study, program testing, cost, data flow testing
30	Atif M. Memon, Qing Xie 0003	Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Smoke testing, empirical studies, regression testing, test oracles, GUI testing
30	Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko	UniTesK Test Suite Architecture.	FME	2002	DBLP DOI BibTeX RDF	automata based testing, test suite architecture, specification based testing, partition testing
30	Juan C. Burguillo-Rial, Manuel J. Fernández-Iglesias, Francisco J. González-Castaño, Martín Llamas Nistal	Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study.	FME	2002	DBLP DOI BibTeX RDF	heuristics for testing, risk and cost of testing, test case selection, formal testing
30	Sebastian Benz	Combining test case generation for component and integration testing.	A-MOST	2007	DBLP DOI BibTeX RDF	verification, model based testing, integration testing, automatic test case generation
30	Weifeng Xu, Dianxiang Xu	State-based testing of integration aspects.	WTAOP	2006	DBLP DOI BibTeX RDF	integration aspects, aspect-oriented programming, model-based testing, integration testing, aspect-oriented modeling, state model
30	Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson	Architecture-based testing using goals and plans.	ROSATEA	2006	DBLP DOI BibTeX RDF	architecture-based testing, goal-driven software development, specification-based testing
30	Jessica Díaz, Agustín Yagüe, Pedro Pablo Alarcón, Juan Garbajosa	A Generic Gateway for Testing Heterogeneous Components in Acceptance Testing Tools.	ICCBSS	2008	DBLP DOI BibTeX RDF	complex systems testing, acceptance testing tools, TOPEN, middleware, validation, OSGI, gateway, test automation
30	Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape	Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.	ISSTA	2008	DBLP DOI BibTeX RDF	unit testing, symbolic execution, software model checking, system testing
30	Justyna Zander, Zhen Ru Dai, Ina Schieferdecker, George Din	From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing.	TestCom	2005	DBLP DOI BibTeX RDF	UML 2.0 Testing Profile, UML, Testing, MDA, Model transformation, MOF, TTCN-3, QVT
30	David Saff, Michael D. Ernst	An experimental evaluation of continuous testing during development.	ISSTA	2004	DBLP DOI BibTeX RDF	continuous compilation, continuous testing, test-first development, unit testing
30	Alessandro Marchetto 0001, Filippo Ricca, Paolo Tonella	A case study-based comparison of web testing techniques applied to AJAX web applications.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	Software testing, Web applications, AJAX, State-based testing
30	Wolfgang Grieskamp, Debra J. Richardson, Clay E. Williams	OOPSLA'06 workshop outline: 1st workshop on model-based testing and object-oriented systems (M-TOOS).	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	model-based testing, object-oriented testing
30	Jianhua Hao, Emilia Mendes	Usage-based statistical testing of web applications.	ICWE	2006	DBLP DOI BibTeX RDF	unified Markov Models, web application reliability, experimentation, statistical testing, web application testing
30	Hyunsook Do, Sebastian G. Elbaum, Gregg Rothermel	Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact.	Empir. Softw. Eng.	2005	DBLP DOI BibTeX RDF	controlled experimentation, experiment infrastructure, Software testing, regression testing
30	Henrik C. Bohnenkamp, Axel Belinfante	Timed Testing with TorX.	FM	2005	DBLP DOI BibTeX RDF	Model-based on-the-fly Testing, Real-Time Testing, TorX, Tools, Timed Automata
30	Patrice Godefroid, Nils Klarlund, Koushik Sen	DART: directed automated random testing.	PLDI	2005	DBLP DOI BibTeX RDF	software testing, interfaces, program verification, random testing, automated test generation
30	Harry M. Sneed	Program Comprehension for the Purpose of Testing.	IWPC	2004	DBLP DOI BibTeX RDF	test documentation tools, testing, software comprehension, testing requirements
30	Jeff Tian, Li Ma, Zhao Li, Akif Günes Koru	A Hierarchical Strategy for Testing Web-Based Applications and Ensuring Their Reliability.	COMPSAC	2003	DBLP DOI BibTeX RDF	Web usage and modeling, quality and reliability, Markov chain, test coverage, statistical testing, structural testing, operational profile
30	Michael R. Lyu, Zubin Huang, Sam K. S. Sze, Xia Cai	An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering.	ISSRE	2003	DBLP DOI BibTeX RDF	data flow coverage testing, empirical study, software fault tolerance, mutation testing
30	A. Jefferson Offutt, Aynur Abdurazik, Roger T. Alexander	An Analysis Tool for Coupling-Based Integration Testing.	ICECCS	2000	DBLP DOI BibTeX RDF	instrumentation techniques, Java Tree Builder, Java parser, program testing, integration testing, Java programs, test data, analysis tool
30	Tim Menzies, Bojan Cukic	On the Sufficiency of Limited Testing for Knowledge Based Systems.	ICTAI	1999	DBLP DOI BibTeX RDF	Abductive Testing, Software Testing, Knowledge-Based Systems, Software Reliability
30	Hwan Wook Sohn, David Chenho Kung, Pei Hsia	State-Based Reproducible Testing for CORBA Applications.	PDSE	1999	DBLP DOI BibTeX RDF	component based software testing, state testing, CORBA, replay
30	Ziyuan Wang, Changhai Nie, Baowen Xu	Generating combinatorial test suite for interaction relationship.	SOQUA	2007	DBLP DOI BibTeX RDF	interaction relationship, software testing, test generation, combinatorial testing
30	Hojun Jaygarl, Sunghun Kim 0001, Tao Xie 0001, Carl K. Chang	OCAT: object capture-based automated testing.	ISSTA	2010	DBLP DOI BibTeX RDF	object capturing, object generation, object mutation, automated testing
30	Krzysztof Rogoz, Tomasz Padlo	The Role of Stability Testing in Heterogeneous Application Environment.	ICST	2008	DBLP DOI BibTeX RDF	Stability Testing, Performance, memory leak, Solaris
30	Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten	Hybrid test of web applications with webtest.	TAV-WEB	2008	DBLP DOI BibTeX RDF	automata learning, testing, web applications
30	Stella Levin, Amiram Yehudai	Evolutionary Testing: A Case Study.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF	genetic algorithms, Software testing, automatic test generation
30	Sheng Huang, Yang Chen, Jun Zhu, Zhong Jie Li, Huafang Tan	An optimized change-driven regression testing selection strategy for binary Java applications.	SAC	2009	DBLP DOI BibTeX RDF	binary Java application, test case prioritization, regression testing selection
30	Manoranjan Satpathy, Anand Yeolekar, S. Ramesh 0002	Randomized directed testing (REDIRECT) for Simulink/Stateflow models.	EMSOFT	2008	DBLP DOI BibTeX RDF	simulink/stateflow models, coverage, hybrid systems, model based testing
30	Amir Shpilka, Ilya Volkovich	Read-once polynomial identity testing.	STOC	2008	DBLP DOI BibTeX RDF	bounded depth circuits, identity testing, read-once formulas, reconstruction, arithmetic circuits
30	Ossi Taipale, Heikki Kälviäinen, Kari Smolander	Factors Affecting Software Testing Time Schedule.	ASWEC	2006	DBLP DOI BibTeX RDF	communication and interaction, software testing, software process improvement, regression analysis
30	Ossi Taipale, Kari Smolander	Improving software testing by observing practice.	ISESE	2006	DBLP DOI BibTeX RDF	software testing, process improvement, grounded theory
30	Hui Wu, Jeff Gray 0001	Testing domain-specific languages in eclipse.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	testing, debugging, domain-specific languages, eclipse, grammar
30	Eldar Fischer, Eric Lehman, Ilan Newman, Sofya Raskhodnikova, Ronitt Rubinfeld, Alex Samorodnitsky	Monotonicity testing over general poset domains.	STOC	2002	DBLP DOI BibTeX RDF	algorithms, property testing, monotone functions
30	Sita Ramakrishnan	LIGHTVIEWS - visual interactive Internet environment for learning OO software testing.	ICSE	2000	DBLP DOI BibTeX RDF	OO software testing, Internet, visualization, learning
30	Chi-Ming Chung, Timothy K. Shih, Ying-Hong Wang, Wei-Chuan Lin, Ying-Feng Kuo 0002	Software Testing and Metrics for Concurrent Computation.	APSEC	1996	DBLP DOI BibTeX RDF	software testing criterion, Concurrent programs, software complexity, rendezvous, Ada language
30	Hassan Reza, Emanuel S. Grant	A method to test concurrent systems using architectural specification.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	Hierarchical Predicate Transition Nets (HPrTNs), Software architecture, Software testing, Architectural Description Languages (ADLs), Concurrent systems
30	Gregor von Bochmann, Alexandre Petrenko	Protocol Testing: Review of Methods and Relevance for Software Testing.	ISSTA	1994	DBLP DOI BibTeX RDF	Lotos, OSI
30	Zhiliang Wang, Xia Yin, Yang Xiang, Ruiping Zhu, Shirui Gao, Xin Wu, Shijian Liu, Song Gao, Li Zhou, Peng Li	TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
30	Chao-Wen Tseng, James Li, Edward J. McCluskey	Experimental Results for Slow-Speed Testing.	VTS	2002	DBLP DOI BibTeX RDF
30	Seon-Jae Jang, Hae-Geun Kim, Youn-Ky Chung	Manual Specific Testing and Quality Evaluation for Embedded Software.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF
30	Fagui Liu, Chunwei Luo	Service-Oriented Software Testing Platform.	I3E (2)	2007	DBLP DOI BibTeX RDF
30	Chin-Yu Huang, Michael R. Lyu	Optimal testing resource allocation, and sensitivity analysis in software development.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
30	Raymond A. Paul	End-to-End Integration Testing.	APAQS	2001	DBLP DOI BibTeX RDF
30	Ed Brinksma	Formal Methods for Conformance Testing: Theory Can Be Practical.	CAV	1999	DBLP DOI BibTeX RDF
30	Juei Chang, Debra J. Richardson	Structural Specification-Based Testing: Automated Support and Experimental Evaluation.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
30	Joachim Wegener, Matthias Grochtmann	Evolutionärer Test von Realzeitsystemen.	Inform. Forsch. Entwickl.	2000	DBLP DOI BibTeX RDF	Realzeitsystem, Zeitverhalten, Evolutionärer Test, Evolutionäre Algorithmen, Test
30	Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet	Uniform random sampling of traces in very large models.	Random Testing	2006	DBLP DOI BibTeX RDF	randomised approximation scheme, uniform generation, model checking, random walk, model-based testing, modular models
30	Oded Goldreich 0001	Flexible Models for Testing Graph Properties.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
30	Oded Goldreich 0001	On the Communication Complexity Methodology for Proving Lower Bounds on the Query Complexity of Property Testing.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
30	Roei Tell	A Note on Tolerant Testing with One-Sided Error.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
30	Oded Goldreich 0001	The Uniform Distribution Is Complete with Respect to Testing Identity to a Fixed Distribution.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
30	Sudhakar M. Reddy, Peter Maxwell	Fundamentals of Small-Delay Defect Testing.	Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits	2014	DBLP BibTeX RDF
30	Mahmut Yilmaz	Output Deviations-Based SDD Testing.	Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits	2014	DBLP BibTeX RDF
30	Antti Huima	Behavioral System Models versus Models of Testing Strategies in Functional Test Generation.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF