Search results for "test-cases"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	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
59	Atif M. Memon	Automatically repairing event sequence-based GUI test suites for regression testing.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	repairing test cases, test case management, test maintenance, Graphical user interfaces, regression testing
56	Karl R. P. H. Leung, Wing Lok Yeung	Generating User Acceptance Test Plans from Test Cases.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
55	Qing Xie 0003, Atif M. Memon	Designing and comparing automated test oracles for GUI-based software applications.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	GUI state, user interfaces, graphical user interfaces, widgets, Test oracles, GUI testing
55	Ruilian Zhao, Shanshan Lv	Neural-Network Based Test Cases Generation Using Genetic Algorithm.	PRDC	2007	DBLP DOI BibTeX RDF	Output domain, Genetic algorithm, Neural networks, Test cases generation, Function model
54	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
53	Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun	Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases.	ICSE	2004	DBLP DOI BibTeX RDF
52	Stefan Gruner	From use cases to test cases via meta model-based reasoning.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Prolog, Use cases, Meta model, Test cases
48	Huaikou Miao, Ling Liu	A Test Class Framework for Generating Test Cases from Z Specifications.	ICECCS	2000	DBLP DOI BibTeX RDF	test class framework, object-oriented concept, test case generation system, formal specification, oracles, test data, Z specifications, test framework, TCGS
48	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
47	Ahmed Khoumsi, Thierry Jéron, Hervé Marchand	Test Cases Generation for Nondeterministic Real-Time Systems.	FATES	2003	DBLP DOI BibTeX RDF	Conformance test cases generation, Determinizable Timed Automata (DTA), Set-Exp-Automata (SEA), Real-time systems, Test architecture
45	Sriraman Tallam, Neelam Gupta	A concept analysis inspired greedy algorithm for test suite minimization.	PASTE	2005	DBLP DOI BibTeX RDF	test cases, concept analysis, testing requirements, test suite minimization
45	Yoonki Song, Suresh Thummalapenta, Tao Xie 0001	UnitPlus: assisting developer testing in Eclipse.	ETX	2007	DBLP DOI BibTeX RDF	developer testing, test code reuse
44	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
44	Karl R. P. H. Leung	Using Hypergraph as Modeling Language for Generating Test Cases On Demand.	APSEC	2004	DBLP DOI BibTeX RDF
42	K. K. Aggarwal, Yogesh Singh, Arvinder Kaur	Code coverage based technique for prioritizing test cases for regression testing.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	prioritization of test cases, regression testing, test case
42	Penelope A. Brooks, Atif M. Memon	Introducing a test suite similarity metric for event sequence-based test cases.	ICSM	2009	DBLP DOI BibTeX RDF
42	Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius	Synthesis of Scenario Based Test Cases from B Models.	FATES/RV	2006	DBLP DOI BibTeX RDF	Scenarios, Model Based Testing, B-Method
41	Xun Yuan, Atif M. Memon	Using GUI Run-Time State as Feedback to Generate Test Cases.	ICSE	2007	DBLP DOI BibTeX RDF
41	Ian Ho, Jin-Cherng Lin	Generating Test Cases for Real-Time Software by Time Petri Nets Model.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	basic segment, graph matrix, graph segment, independent segment group, Petri nets decomposition, test cases generation
40	Bernhard K. Aichernig, Carlo Corrales Delgado	From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems.	FASE	2006	DBLP DOI BibTeX RDF
40	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
40	Daniel Hoffman, Paul A. Strooper	Prose + Test Cases = Specifications.	TOOLS (34)	2000	DBLP DOI BibTeX RDF	formal methods, object-oriented, automated testing, API documentation
40	Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni	Testing Real-Time Systems Using TINA.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	Prioritized Time Petri Nets, time optimal test cases, Real-time system, conformance testing
40	Kouhei Sakurai, Hidehiko Masuhara	Test-based pointcuts for robust and fine-grained join point specification.	AOSD	2008	DBLP DOI BibTeX RDF	aspect-oriented programming language, fragile pointcut problem, test-based pointcuts, unit test cases
39	Lingming Zhang 0001, Ji Zhou, Dan Hao 0001, Lu Zhang 0023, Hong Mei 0001	Prioritizing JUnit test cases in absence of coverage information.	ICSM	2009	DBLP DOI BibTeX RDF
39	T. H. Tse, Xin Feng, Tsong Yueh Chen	On the Completeness of Test Cases for Atomic Arithmetic Expressions.	APAQS	2000	DBLP DOI BibTeX RDF	completeness of test cases, software testing, mutation testing, mutation operators, Arithmetic expressions
39	David B. Brown, Saeed Maghsoodloo, William H. Deason	A Cost Model for Determining the Optimal Number of Software Test Cases.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	optimal number, software test cases, cost per test, cost per error, input variable estimation, software engineering, probabilistic model, cost model, DP management
39	Yogesh Singh, Anju Saha	A Metric-Based Approach to Assess Class Testability.	XP	2008	DBLP DOI BibTeX RDF
38	Bor-Yuan Tsai, Simon Stobart, Norman Parrington, Ian Mitchell 0004	An Automatic Test Case Generator Derived from State-Based Testing.	APSEC	1998	DBLP DOI BibTeX RDF	State Machines, Test Cases Generator, State-Based Testing, Class Testing
38	Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro	Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications.	ISSTA	1996	DBLP DOI BibTeX RDF
37	Yuen-Tak Yu, Man Fai Lau	Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study.	Ada-Europe	2002	DBLP DOI BibTeX RDF
37	Tao Xie 0001	Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking.	ECOOP	2006	DBLP DOI BibTeX RDF
37	Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Matthew Jorde	Carving and Replaying Differential Unit Test Cases from System Test Cases.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
37	Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Jonathan Dokulil	Carving differential unit test cases from system test cases.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	carving and replay, regression testing, automated test generation
37	Javier J. Gutiérrez 0001, María J. Escalona, Manuel Mejías, Jesús Torres 0001, Arturo H. Centeno	A case study for generating test cases from use cases.	RCIS	2008	DBLP DOI BibTeX RDF
37	Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima	A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph.	APSEC	1996	DBLP DOI BibTeX RDF	Ada programming language, Event InterActions Graph(EIAG), nondeterministic execution, software testing, concurrent programs, test-cases, structural testing, testing criteria
36	Karl R. P. H. Leung, Wai Wong	Deriving test cases using class vectors.	APSEC	2000	DBLP DOI BibTeX RDF	software test case derivation, class vectors, human decision-making, vector partitions, formal specification, formal specifications, program testing, pattern classification, vectors, trees (mathematics), tree structure, expressive power, classification trees, Cartesian product
36	Karl R. P. H. Leung, Wai Wong	Towards a More Efficient Way of Generating Test Cases: Class Graphs.	APAQS	2000	DBLP DOI BibTeX RDF
36	Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou	Time-Optimal Test Cases for Real-Time Systems.	FORMATS	2003	DBLP DOI BibTeX RDF
36	Chang-Ai Sun	A Transformation-Based Approach to Generating Scenario-Oriented Test Cases from UML Activity Diagrams for Concurrent Applications.	COMPSAC	2008	DBLP DOI BibTeX RDF	Unified Modeling Language, Software Testing, Model-based Testing, Test Case Generation
35	Pradip Bose	Testing for Function and Performance: Towards an Integrated Processor Validation Methodology.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	performance test cases, bounds modeling, performance validation, integrated methodology, test generation, microprocessor testing
35	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
35	Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez 0001	Controllable Test Cases for the Distributed Test Architecture.	ATVA	2008	DBLP DOI BibTeX RDF
35	Linzhang Wang, Jiesong Yuan, Xiaofeng Yu, Jun Hu, Xuandong Li, Guoliang Zheng	Generating Test Cases from UML Activity Diagram based on Gray-Box Method.	APSEC	2004	DBLP DOI BibTeX RDF
35	Rosziati Ibrahim, Mohd Zainuri Saringat, Noraini Ibrahim, Noraida Ismail	An Automatic Tool for Generating Test Cases from the System's Requirements.	CIT	2007	DBLP DOI BibTeX RDF
35	Miroslav Popovic, Ivan Velikic	A Generic Model-Based Test Case Generator.	ECBS	2005	DBLP DOI BibTeX RDF	statistical usage testing, large-scale embedded systems, software reliability, test case generator, test cases, operational profile
34	Gábor Kovács, Gábor Árpád Németh, Mahadevan Subramaniam, Zoltán Pap	Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications.	SDL Forum	2009	DBLP DOI BibTeX RDF	SDL based test selection, MSC test cases, string edit distance
34	Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon	Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment.	ISSRE	2002	DBLP DOI BibTeX RDF
34	Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima	Event Interactions Graph for Test-case Generation of Concurrent Programs.	APSEC	1995	DBLP DOI BibTeX RDF	Event InterAction Graph, Software testing, Concurrent program, Test-cases, Testing criteria
34	Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser 0001	Relating counterexamples to test cases in CTL model checking specifications.	A-MOST	2007	DBLP DOI BibTeX RDF	test coverage criteria, model checking, formal methods, software testing, state machines, counterexamples
33	Levi Lucio, Marko Samer	Technology of Test-Case Generation.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
33	Giorgos Pentafronimos, Spyridon Papastergiou, Nineta Polemi	Interoperability testing for e-government web services.	ICEGOV	2008	DBLP DOI BibTeX RDF	web services (WS), interoperability, test cases
33	Erick Barros dos Santos, Lucas Simão da Costa, Bruno Sabóia Aragão, Ismayle de Sousa Santos, Rossana Maria de Castro Andrade	Extraction of test cases procedures from textual use cases to reduce test effort: Test Factory Experience Report.	SBQS	2019	DBLP DOI BibTeX RDF
33	Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen	Synthesizing Test Models from Test Cases.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
33	Jia Mei, Huaikou Miao, Pan Liu	A Novel Approach for On-the-Fly Test Cases Synthesis.	SNPD	2009	DBLP DOI BibTeX RDF	synchronous product, test cases synthesis, state-explosion, On-The-Fly
33	Hongmei Chi, Edward L. Jones	Computational investigations of quasirandom sequences in generating test cases for specification-based tests.	WSC	2006	DBLP DOI BibTeX RDF
33	Harry M. Sneed	Reverse Engineering of Test Cases for Selective Regression Testing.	CSMR	2004	DBLP DOI BibTeX RDF	selective regression testing, test case recovery, dynamic test analysis, system repositories, static code analysis
33	Chris Rudram, Peter R. Croll, Naoshi Uchihira	Building Test Cases for Use in Hypersequential Programming.	PDSE	1999	DBLP DOI BibTeX RDF
33	Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet	Test Purposes: Adapting the Notion of Specification to Testing.	ASE	2001	DBLP DOI BibTeX RDF
32	Dazhi Zhang, Wenhua Wang, Donggang Liu, Yu Lei 0001, David Chenho Kung	Reusing Existing Test Cases for Security Testing.	ISSRE	2008	DBLP DOI BibTeX RDF
32	Eugene Santos Jr., Hang T. Dinh	Consistency of Test Cases in Validation of Bayesian Knowledge-Bases.	ICTAI	2004	DBLP DOI BibTeX RDF
32	Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa	Test purpose generation in an industrial application.	A-MOST	2007	DBLP DOI BibTeX RDF	fault-based test purposes, test purpose design, model-based testing, protocol conformance testing
32	Zhiwei Xu 0001, Kehan Gao, Taghi M. Khoshgoftaar	Application of fuzzy expert system in test case selection for system regression test.	IRI	2005	DBLP DOI BibTeX RDF
31	Lili Pan 0002, Junyi Li, Beiji Zou, Hao Chen	Bi-Objective Model for Test-Suite Reduction Based on Modified Condition/Decision Coverage.	PRDC	2005	DBLP DOI BibTeX RDF
31	Leila Naslavsky, Hadar Ziv, Debra J. Richardson	A model-based regression test selection technique.	ICSM	2009	DBLP DOI BibTeX RDF
31	Yong Lei, James H. Andrews	Minimization of Randomized Unit Test Cases.	ISSRE	2005	DBLP DOI BibTeX RDF
30	Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer 0001, Arno Fiva	Contract driven development = test driven development - writing test cases.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	unit testing
30	Shin Yoo, Mark Harman, Paolo Tonella, Angelo Susi	Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge.	ISSTA	2009	DBLP DOI BibTeX RDF	ahp, test case prioritisation, clustering
30	Murali Krishna Ramanathan, Mehmet Koyutürk, Ananth Grama, Suresh Jagannathan	PHALANX: a graph-theoretic framework for test case prioritization.	SAC	2008	DBLP DOI BibTeX RDF	program analysis, regression testing, test prioritization
30	Hiroshi Suganuma, Kinya Nakamura, Tsutomu Syomura	Test operation-driven approach on building regression testing environment.	COMPSAC	2001	DBLP DOI BibTeX RDF
30	Hema Srikanth, Laurie A. Williams, Jason A. Osborne	System test case prioritization of new and regression test cases.	ISESE	2005	DBLP DOI BibTeX RDF
29	Hyunsook Do, Gregg Rothermel, Alex Kinneer	Prioritizing JUnit Test Cases: An Empirical Assessment and Cost-Benefits Analysis.	Empir. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Testing object-oriented software, Empirical studies, Software maintenance, Regression testing, Cost-benefits analysis, Test case prioritization
29	Atif M. Memon, Ishan Banerjee, Adithya Nagarajan	What Test Oracle Should I Use for Effective GUI Testing?	ASE	2003	DBLP DOI BibTeX RDF	oracle procedure, oracle information, empirical studies, Test oracles, GUI testing
29	Markus Steimle, Nico Weber, Markus Maurer	Toward Generating Sufficiently Valid Test Case Results: A Method for Systematically Assigning Test Cases to Test Bench Configurations in a Scenario-Based Test Approach for Automated Vehicles.	IEEE Access	2022	DBLP DOI BibTeX RDF
29	Markus Steimle, Nico Weber	Toward Generating Sufficiently Valid Test Case Results: A Method for Systematically Assigning Test Cases to Test Bench Configurations in a Scenario-Based Test Approach for Automated Vehicles.	CoRR	2021	DBLP BibTeX RDF
29	Sandrine-Dominique Gouraud, Arnaud Gotlieb	Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine.	PADL	2006	DBLP DOI BibTeX RDF	CHR, Java Card Virtual Machine, Software testing
29	T. Y. Chen	Are Successful Test Cases Useless or Not?.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
29	Eric Ying Kwong Chan, Yuen-Tak Yu	Evaluating Several Path-Based Partial Dynamic Analysis Methods for Selecting Black-Box Generated Test Cases.	QSIC	2004	DBLP DOI BibTeX RDF	partial dynamic analysis, path coverage, white-on-black approach, Black-box testing, test case selection, path analysis
29	Purnendu Sinha, Neeraj Suri	Identification of Test Cases Using a Formal Approach.	FTCS	1999	DBLP DOI BibTeX RDF
29	James A. Jones, Mary Jean Harrold	Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage.	ICSM	2001	DBLP DOI BibTeX RDF	test-suite prioritization, software testing, regression testing, test-suite reduction, test-suite minimization
29	Kai-Yuan Cai, Lei Zhao, Hai Hu, Chang-Hai Jiang	On the Test Case Definition for GUI Testing.	QSIC	2005	DBLP DOI BibTeX RDF
29	Samira Tasharofi, Sepand Ansari, Marjan Sirjani	Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm.	ICFEM	2006	DBLP DOI BibTeX RDF	finite-state machine testing, symbiotic evolutionary algorithms, genetic algorithms, automatic test data generation, Constraint automata
29	David Willmor, Suzanne M. Embury	An intensional approach to the specification of test cases for database applications.	ICSE	2006	DBLP DOI BibTeX RDF	databases, software testing, database testing
29	Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon	Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component.	ASE	2002	DBLP DOI BibTeX RDF
28	Zenghui Zhou, Zheng Zheng 0001, Tsong Yueh Chen, Jinyi Zhou, Kun Qiu	Follow-up Test Cases are Better Than Source Test Cases in Metamorphic Testing: A Preliminary Study.	MET@ICSE	2021	DBLP DOI BibTeX RDF
28	Md. Rafiqul Islam Rabin, Mohammad Amin Alipour	K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers.	CoRR	2019	DBLP BibTeX RDF
28	Muhammad Javed, Bashir Ahmad 0001, Zafar Abbas, Allah Nawaz, Muhammad Ali Abid, Ihsan Ullah	Decreasing defect rate of test cases by designing and analysis for recursive modules of a program structure: Improvement in test cases.	CoRR	2012	DBLP BibTeX RDF
28	Paresh Jain, Amresh Paresh Jain	Validating Wireless Protocol Conformance Test Cases.	SAM	2004	DBLP DOI BibTeX RDF
28	Tsong Yueh Chen, Pak-Lok Poon, Sau-Fun Tang, Yuen-Tak Yu	White on Black: A White-Box-Oriented Approach for Selecting Black-Box-Generated Test Cases.	APAQS	2000	DBLP DOI BibTeX RDF	specification-based testing, partition testing, test case selection, classification-tree method, Category-partition method
28	Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet	Test Selection Criteria for Quantifier-Free First-Order Specifications.	FSEN	2007	DBLP DOI BibTeX RDF	quantifier-free first-order specifications, axiom coverage, proof tree normalization, Specification-based testing, unfolding, test purpose, selection criteria
28	Guoqing Xu, Zongyuang Yang	JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit.	FATES	2003	DBLP DOI BibTeX RDF
28	Yuting Chen, Shaoying Liu, Fumiko Nagoya	An Approach to Integration Testing Based on Data Flow Specifications.	ICTAC	2004	DBLP DOI BibTeX RDF	SOFL, test cases generation, specification-based testing, data flow diagrams
28	Mark Sh. Levin, Mark Last	Test Case Sequences in System Testing: Selection of Test Cases for a Chain (Sequence) of Function Clusters.	IEA/AIE	2004	DBLP DOI BibTeX RDF	System Design, System Testing, Planning and Scheduling
28	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
28	Ahmed Khoumsi	A Method for Testing the Conformance of Real Time Systems.	FTRTFT	2002	DBLP DOI BibTeX RDF	GeneralizedWp-Method, Timed Automata (TA), se-FSA, Exp, Real-time systems, Conformance testing, Test cases generation, Set, Test architecture
28	Jaakko J. Sauvola, Sami Haapakoski, Hannu Kauniskangas, Tapio Seppänen, Matti Pietikäinen, David S. Doermann	A distributed management system for testing document image analysis algorithms.	ICDAR	1997	DBLP DOI BibTeX RDF	distributed management system, document image analysis algorithm testing, document understanding application, custom test case creation, test management module, Java, C++, graphical user interfaces, object-oriented databases, systems architecture, document image processing, test cases, document images, document categorization, platform independent, degradation models
28	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
28	Tsong Yueh Chen, Dehao Huang, T. H. Tse, Zongyuan Yang	An Innovative Approach to Tackling the Boundary Effect in Adaptive Random Testing.	HICSS	2007	DBLP DOI BibTeX RDF
27	Dino Mandrioli, Sandro Morasca, Angelo Morzenti	Generating Test Cases for Real-Time Systems from Logic Specifications.	ACM Trans. Comput. Syst.	1995	DBLP DOI BibTeX RDF