Search results for "test-cases"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Christoph Malz, Kerstin Sommer, Peter Göhner, Birgit Vogel-Heuser	Consideration of Human Factors for Prioritizing Test Cases for the Software System Test.	HCI (21)	2011	DBLP DOI BibTeX RDF
19	Sapna P. G., Hrushikesha Mohanty	Clustering test cases to achieve effective test selection.	A2CWiC	2010	DBLP DOI BibTeX RDF
19	Adenilso da Silva Simão, Adenilso Petrenko	From Test Purposes to Asynchronous Test Cases.	ICST Workshops	2010	DBLP DOI BibTeX RDF
19	Federico Ciccozzi, Antonio Cicchetti, Toni Siljamäki, Jenis Kavadiya	Automating test cases generation: from xtUML system models to QML test models.	MOMPES	2010	DBLP DOI BibTeX RDF
19	Harald Cichos, Thomas S. Heinze	Efficient Test Suite Reduction by Merging Pairs of Suitable Test Cases.	MoDELS (Workshops)	2010	DBLP DOI BibTeX RDF
19	Thomas Arts, Simon J. Thompson	From test cases to FSMs: augmented test-driven development and property inference.	Erlang Workshop	2010	DBLP DOI BibTeX RDF
19	Aysh Menoer Alhroob	Software test case generation from system models and specification : use of the UML diagrams and high level Petri nets models for developing software test cases.		2010	RDF
19	R. Krishnamoorthi, S. A. Sahaaya Arul Mary	Factor oriented requirement coverage based system test case prioritization of new and regression test cases.	Inf. Softw. Technol.	2009	DBLP DOI BibTeX RDF
19	R. Krishnamoorthi, S. A. Sahaaya Arul Mary	Requirement Based System Test Case Prioritization of New and Regression Test Cases.	Int. J. Softw. Eng. Knowl. Eng.	2009	DBLP DOI BibTeX RDF
19	Bart Van Rompaey, Serge Demeyer	Establishing Traceability Links between Unit Test Cases and Units under Test.	CSMR	2009	DBLP DOI BibTeX RDF
19	Gordon Fraser 0001, Martin Weiglhofer, Franz Wotawa	Using Observer Automata to Select Test Cases for Test Purposes.	SEKE	2008	DBLP BibTeX RDF
19	Winfried Dulz	On-the-fly Interpretation of Test Cases in an Automatically Generated TTCN-3 Test Suite.	ENASE	2008	DBLP BibTeX RDF
19	Ning Zhong, Zun-wen He, Jingming Kuang 0001	A Generic Formal Framework for Protocol Interoperability Test and Test Cases Minimization.	AST	2008	DBLP DOI BibTeX RDF
19	Edumilis Maria Méndez, María A. Pérez, Luis Eduardo Mendoza	Improving Software Test Strategy with a Method to Specify Test Cases (MSTC).	ICEIS (1)	2008	DBLP BibTeX RDF
19	Kouhei Sakurai, Hidehiko Masuhara	Test-based pointcuts: a robust pointcut mechanism based on unit test cases for software evolution.	LATE@AOSD	2007	DBLP DOI BibTeX RDF
19	Peter H. Deussen, Stephan Tobies	Formal Test Purposes and The Validity of Test Cases	CoRR	2004	DBLP BibTeX RDF
19	Michael Schmitt 0002	Automatic test generation based on formal specifications: practical procedures for efficient state space exploration and improved representation of test cases.		2003	RDF
19	Trong Wu	Design of a test plan and its test cases for a translator.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada, FORTRAN
19	Lu Zhang 0023, Shan-Shan Hou, Chao Guo, Tao Xie 0001, Hong Mei 0001	Time-aware test-case prioritization using integer linear programming.	ISSTA	2009	DBLP DOI BibTeX RDF	integer linear programming, test-case prioritization
19	Dirk Seifert	Conformance Testing Based on UML State Machines.	ICFEM	2008	DBLP DOI BibTeX RDF
19	Bogdan Korel, George Koutsogiannakis, Luay Ho Tahat	Model-based test prioritization heuristic methods and their evaluation.	A-MOST	2007	DBLP DOI BibTeX RDF	model-based test prioritization, regression testing, test prioritization, state-based model
19	Gordon Fraser 0001, Franz Wotawa	Redundancy Based Test-Suite Reduction.	FASE	2007	DBLP DOI BibTeX RDF
19	Hyunsook Do, Gregg Rothermel	On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	program mutation, empirical studies, Regression testing, test case prioritization
19	Alexander Pretschner	Model-based testing.	ICSE	2005	DBLP DOI BibTeX RDF	coverage, development processes, model-based development
19	Raymond A. Paul, Lian Yu, Wei-Tek Tsai, Xiaoying Bai	Scenario-Based Functional Regression Testing.	COMPSAC	2001	DBLP DOI BibTeX RDF
19	Peng Lu	Test case generation for specification-based software testing.	CASCON	1994	DBLP BibTeX RDF
19	Nabil El Ioini	Web Services Open Test Suites.	SERVICES	2011	DBLP DOI BibTeX RDF	Web Services, Testing, Test cases
19	Nabil El Ioini, Alberto Sillitti	Open Web Services Testing.	SERVICES	2011	DBLP DOI BibTeX RDF	Web Services, Test cases
19	Ronald J. Leach	How Consistent Is Students' Understanding of Requirements?.	ITNG	2010	DBLP DOI BibTeX RDF	requirements testing, requirements traceability matrix, design, requirements analysis, test cases, capstone course
19	Michelle Ruse, Tanmoy Sarkar, Samik Basu 0001	Analysis & Detection of SQL Injection Vulnerabilities via Automatic Test Case Generation of Programs.	SAINT	2010	DBLP DOI BibTeX RDF	Program Verification, Assertion, Decision Diagrams, Test cases, SQL injection
19	Liping Li, Huaikou Miao, Shengbo Chen	Test Generation for Web Applications Using Model-Checking.	SNPD	2010	DBLP DOI BibTeX RDF	test deduction rule, model checking, Web application, test cases, styling, counterexample
19	Chengying Mao	Towards a Hierarchical Testing and Evaluation Strategy for Web Services System.	SERA	2009	DBLP DOI BibTeX RDF	state transition tree, Web services, Reliability, BPEL, test cases
19	Maria S. W. Lam, Eric Ying Kwong Chan, Victor C. S. Lee, Yuen-Tak Yu	Designing an Automatic Debugging Assistant for Improving the Learning of Computer Programming.	ICHL	2008	DBLP DOI BibTeX RDF	automatic debugging assistant, PASS, test cases and annotations, computer programming
19	Harry M. Sneed	Bridging the Concept to Implementation Gap in Software System Testing.	QSIC	2008	DBLP DOI BibTeX RDF	System test process, test cases, test design, test specification, test scripts
19	William W. Pugh, Nathaniel Ayewah	Unit testing concurrent software.	ASE	2007	DBLP DOI BibTeX RDF	JUnit test cases, concurrent abstraction, multithreadedTC, java, testing framework
19	Miroslav Popovic, Ilija Basicevic, Ivan Velikic, Jelena Tatic	A Model-Based Statistical Usage Testing of Communication Protocols.	ECBS	2006	DBLP DOI BibTeX RDF	generic modeling environment, statistical usage testing, test harness, software reliability, test case generator, test cases, operational profile, test bed
19	Daniel M. Berry, Khuzaima Daudjee, Jing Dong 0005, Igor Fainchtein, Maria Augusta V. Nelson, Torsten Nelson, Lihua Ou	User's manual as a requirements specification: case studies.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Users manual, Scenarios, Requirements specification, Requirements elicitation, Test cases, Requirements validation
19	Marc Raygoza	Visual SDLC: improving requirements engineering for object-oriented systems.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	enterprise software development lifecycle management, requirements engineering, use cases, test cases, software development life cycle
19	Laura A. Sanchis	Experimental Analysis of Heuristic Algorithms for the Dominating Set Problem.	Algorithmica	2002	DBLP DOI BibTeX RDF	Approximation algorithms, Dominating set, Test cases
19	Jean-Christophe Deprez, Arun Lakhotia	A Formalism to Automate Mapping from Program Features to Code.	IWPC	2000	DBLP DOI BibTeX RDF	software maintenance, program comprehension, Feature, test cases
19	Zachary D. Williams, Gregory M. Kapfhammer	Using synthetic test suites to empirically compare search-based and greedy prioritizers.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	greedy test prioritization, search-based test prioritization
19	Robert M. Hierons	Verdict functions in testing with a fault domain or test hypotheses.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	Test verdicts, fault domains, test hypotheses
19	Hehui Liu, Zhong Jie Li, Jun Zhu, Huafang Tan, He Yuan Huang	A Unified Test Framework for Continuous Integration Testing of SOA Solutions.	ICWS	2009	DBLP DOI BibTeX RDF
19	Bogdan Korel, George Koutsogiannakis, Luay Ho Tahat	Application of system models in regression test suite prioritization.	ICSM	2008	DBLP DOI BibTeX RDF
19	Jean Hartmann, Marlon Vieira, Herbert Foster, Axel Ruder	A UML-based approach to system testing.	Innov. Syst. Softw. Eng.	2005	DBLP DOI BibTeX RDF	Unified modelling language, Test generation, Use cases, Functional testing, System testing, Activity diagrams
19	Bogdan Korel, Luay Ho Tahat, Mark Harman	Test Prioritization Using System Models.	ICSM	2005	DBLP DOI BibTeX RDF
19	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
19	Yu Hong, Song Huang, Xiaoming Liu, Xiushan Yu	Using Symbolic Execution in Embedded Software Testing.	CSSE (2)	2008	DBLP DOI BibTeX RDF
19	Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel	Automatic Test Generation: A Use Case Driven Approach.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	UML, test generation, scenarios, Use case, contracts
18	Tsong Yueh Chen, Dehao Huang, Fei-Ching Kuo, Robert G. Merkel, Johannes Mayer	Enhanced lattice-based adaptive random testing.	SAC	2009	DBLP DOI BibTeX RDF
18	Kyungsoo Im, Tacksoo Im, John D. McGregor	Automating test case definition using a domain specific language.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	ontology, software testing, domain specific language, software product line
18	Xiaoyu Zheng, Mei-Hwa Chen	Maintaining Multi-Tier Web Applications.	ICSM	2007	DBLP DOI BibTeX RDF
18	Achim D. Brucker, Burkhart Wolff	Symbolic Test Case Generation for Primitive Recursive Functions.	FATES	2004	DBLP DOI BibTeX RDF
18	Cristian Cadar, Dawson R. Engler	Execution Generated Test Cases: How to Make Systems Code Crash Itself.	SPIN	2005	DBLP DOI BibTeX RDF
18	Paolo Baldan, Barbara König 0001, Ingo Stürmer	Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems.	ICGT	2004	DBLP DOI BibTeX RDF
18	Tsuneo Yamaura	How to Design Practical Test Cases.	IEEE Softw.	1998	DBLP DOI BibTeX RDF
18	Ethan Fast, Claire Le Goues, Stephanie Forrest, Westley Weimer	Designing better fitness functions for automated program repair.	GECCO	2010	DBLP DOI BibTeX RDF	software repair, software engineering, genetic programming
18	Benjamin Zeiss, Jens Grabowski	Analyzing Response Inconsistencies in Test Suites.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
18	Camille Constant, Bertrand Jeannet, Thierry Jéron	Automatic Test Generation from Interprocedural Specifications.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
18	Huaizhong Li, Chiou Peng Lam	Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams.	TestCom	2005	DBLP DOI BibTeX RDF
18	Mats Skoglund, Per Runeson	A case study of the class firewall regression test selection technique on a large scale distributed software system.	ISESE	2005	DBLP DOI BibTeX RDF
18	Dan Hao 0001, Ying Pan, Lu Zhang 0023, Wei Zhao 0006, Hong Mei 0001, Jiasu Sun	A similarity-aware approach to testing based fault localization.	ASE	2005	DBLP DOI BibTeX RDF	debugging, fuzzy set, maintenance, fault localization
18	Abdeslam En-Nouaary, Rachida Dssouli	A Guided Method for Testing Timed Input Output Automata.	TestCom	2003	DBLP DOI BibTeX RDF	Timed Input Output Automata, Real-Time Systems, Testing, Test Purposes
18	Laurie A. Williams, E. Michael Maximilien, Mladen A. Vouk	Test-Driven Development as a Defect-Reduction Practice.	ISSRE	2003	DBLP DOI BibTeX RDF
18	Benoit Baudry, Vu Le Hanh, Jean-Marc Jézéquel, Yves Le Traon	Building Trust into OO Components Using a Genetic Analogy.	ISSRE	2000	DBLP DOI BibTeX RDF
18	Paul Ammann, Paul E. Black, William Majurski	Using Model Checking to Generate Tests from Specifications.	ICFEM	1998	DBLP DOI BibTeX RDF
17	Mats Per Erik Heimdahl, George Devaraj	On the effect of test-suite reduction on automatically generated model-based tests.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Test reduction, Fault finding, Specification-based testing, Automated test generation, Model checkers
17	Pallavi Joshi, Koushik Sen, Mark Shlimovich	Predictive testing: amplifying the effectiveness of software testing.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	assertion hoisting, predictive testing, random testing, symbolic execution, testing C programs
17	Kwang Ik Seo, Eun Man Choi	Rigorous Vertical Software System Testing In IDE.	SERA	2007	DBLP DOI BibTeX RDF	UML test, fault traceability, software test, system test, integration test
17	Serguei A. Roubtsov, Petra Heck	Use Case-Based Acceptance Testing of a Large Industrial System: Approach and Experience Report.	TAIC PART	2006	DBLP DOI BibTeX RDF
17	Paolo Tonella, Paolo Avesani, Angelo Susi	Using the Case-Based Ranking Methodology for Test Case Prioritization.	ICSM	2006	DBLP DOI BibTeX RDF
17	Peng Wu 0002, Huimin Lin	Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints.	QSIC	2005	DBLP DOI BibTeX RDF
17	Mats Per Erik Heimdahl, George Devaraj	Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing.	ASE	2004	DBLP DOI BibTeX RDF	test reduction, fault finding, specification-based testing, automated test generation, model checkers
17	Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao	Auto-generating Test Sequences Using Model Checkers: A Case Study.	FATES	2003	DBLP DOI BibTeX RDF
17	Atif M. Memon, Ishan Banerjee, Nada Hashmi, Adithya Nagarajan	DART: A Framework for Regression Testing "Nightly/daily Builds" of GUI Applications.	ICSM	2003	DBLP DOI BibTeX RDF
17	John Bible, Gregg Rothermel, David S. Rosenblum	A comparative study of coarse- and fine-grained safe regression test-selection techniques.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	regression testing, regression test selection
17	Fevzi Belli, Ismael Camara, Alfred Schmidt	A Built-in Test Language for PROLOG to Validate Knowledge-Based Systems.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF	Prolog
17	Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel	Requirements by Contracts allow Automated System Testing.	ISSRE	2003	DBLP DOI BibTeX RDF
17	Rüdiger Foos, Christian Bunse, Hagen Höpfner, Torsten Zimmermann	TML: an XML-based test modeling language.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	XML
17	Raghu Lingampally, Atul Gupta, Pankaj Jalote	A Multipurpose Code Coverage Tool for Java.	HICSS	2007	DBLP DOI BibTeX RDF
17	Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga	A Semantic Framework for Test Coverage.	ATVA	2006	DBLP DOI BibTeX RDF
17	Stefan Wappler, Joachim Wegener	Evolutionary unit testing of object-oriented software using strongly-typed genetic programming.	GECCO	2006	DBLP DOI BibTeX RDF	object-orientation, evolutionary testing, automated test case generation, strongly-typed genetic programming
17	Rakesh Shukla, David A. Carrington, Paul A. Strooper	A Passive Test Oracle Using a Component's API.	APSEC	2005	DBLP DOI BibTeX RDF
17	David Willmor, Suzanne M. Embury	A Safe Regression Test Selection Technique for Database-Driven Applications.	ICSM	2005	DBLP DOI BibTeX RDF
17	Scott McMaster, Atif M. Memon	Call Stack Coverage for Test Suite Reduction.	ICSM	2005	DBLP DOI BibTeX RDF
17	Mats Per Erik Heimdahl, George Devaraj, Robert Weber	Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria?	HASE	2004	DBLP DOI BibTeX RDF
17	David M. Cohen, Siddhartha R. Dalal, Michael L. Fredman, Gardner C. Patton	The AETG System: An Approach to Testing Based on Combinatiorial Design.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	Testing, experimental designs, combinatorial designs, orthogonal arrays
17	Rohan Fletcher, A. S. M. Sajeev	A Framework for Testing Object-Oriented Software Using Formal Specifications.	Ada-Europe	1996	DBLP DOI BibTeX RDF
17	Stéphane S. Somé, Xu Cheng	An approach for supporting system-level test scenarios generation from textual use cases.	SAC	2008	DBLP DOI BibTeX RDF	use cases, state machines, system testing
17	Christoph M. Kirchsteiger, Christoph Trummer, Christian Steger, Reinhold Weiss, Markus Pistauer	Specification-based Verification of Embedded Systems by Automated Test Case Generation.	DIPES	2008	DBLP DOI BibTeX RDF
17	Matthew Kaplan 0003, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz 0001	Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation.	ICST	2008	DBLP DOI BibTeX RDF	UML Model-based Test Generation, Use Case Based Test Generation, Test Verification Sequence, Fault Models for UML, Invariants analysis
17	Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, W. Eric Wong	Does Adaptive Random Testing Deliver a Higher Confidence than Random Testing?	QSIC	2008	DBLP DOI BibTeX RDF	Failure-Based Testing, Test Coverage Criteria, Random Testing, Adaptive Random Testing
17	Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu	Distribution Metric Driven Adaptive Random Testing.	QSIC	2007	DBLP DOI BibTeX RDF
17	Kevin M. Conroy, Mark Grechanik, Matthew Hellige, Edy S. Liongosari, Qing Xie 0003	Automatic Test Generation From GUI Applications For Testing Web Services.	ICSM	2007	DBLP DOI BibTeX RDF
17	Christopher Kruegel, Davide Balzarotti, William K. Robertson, Giovanni Vigna	Improving Signature Testing through Dynamic Data Flow Analysis.	ACSAC	2007	DBLP DOI BibTeX RDF
17	Nida Gökçe, Mubariz Eminov, Fevzi Belli	Coverage-Based, Prioritized Testing Using Neural Network Clustering.	ISCIS	2006	DBLP DOI BibTeX RDF	pair-wise coverage, importance degree, test ranking, clustering, competitive learning, Event sequence
17	Shereef Abu Al-Maati, Kamel Rekab	Dynamic Test Allocation Model for Software Reliability.	QSIC	2003	DBLP DOI BibTeX RDF
17	Man Fai Lau, Yuen-Tak Yu	On the Relationships of Faults for Boolean Specification Based Testing.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF	fault class analysis, verification, specification based testing, Boolean expression
17	Don-Lin Yang, Yeh-Ching Chung, Chih-Chang Chen, Ching-Jung Liao	A Dynamic Diffusion Optimization Method for Irregular Finite Element Graph Partitioning.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	dynamic diffusion, irregular finite element graphs, load balancing, partition, mapping, distributed memory multicomputers
17	Aki W. Tomita, Ken Sakamura	Improving Design Dependability by Exploiting an Open Model-Based Specification.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	formal specification, Software testing, Z, software fault tolerance, specification-based testing, on-line error detection