Search results for "test-case generation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla	PET: a partial evaluation-based test case generation tool for Java bytecode.	PEPM	2010	DBLP DOI BibTeX RDF	testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation
3	José Carlos Bregieiro Ribeiro	Search-based test case generation for object-oriented java software using strongly-typed genetic programming.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	search-based test case generation, object-orientation, evolutionary testing, strongly-typed genetic programming
3	Gordon Fraser, Franz Wotawa	Using LTL rewriting to improve the performance of model-checker based test-case generation.	A-MOST	2007	DBLP DOI BibTeX RDF	LTL rewriting, test-case generation with model-checkers, automated software testing
3	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
3	Tsong Yueh Chen, Fei-Ching Kuo, Zhiquan Zhou	Teaching Automated Test Case Generation.	QSIC	2005	DBLP DOI BibTeX RDF	Software engineering education, white-box testing, automated test case generation
3	Li Dan, Bernhard K. Aichernig	Combining Algebraic and Model-Based Test Case Generation.	ICTAC	2004	DBLP DOI BibTeX RDF	formal method, Test case generation, RAISE, RSL
3	Richard O. Sinnott	Architecting Specifications for Test Case Generation.	SEFM	2003	DBLP DOI BibTeX RDF	SDL, Test Case Generation, TTCN
3	Atif M. Memon, Martha E. Pollack, Mary Lou Soffa	Hierarchical GUI Test Case Generation Using Automated Planning.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	application of AI planning, GUI regression testing, generating alternative plans, Software testing, GUI testing, automated test case generation
3	Aki Watanabe, Ken Sakamura	A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards.	ICSE	1996	DBLP BibTeX RDF	ITRON2 real time multi task operating system specification, SBATCG method, abstract state transitions, commercially available ITRON2 implementations, fault exposure abilities, open operating system standards, specification based adaptive test case generation strategy, real-time systems, formal specification, specification languages, program testing, open systems, templates, Z, operating systems (computers), multiprogramming, integration testing, mutation analysis, Z notation, software standards, formal specification languages, model based specification, fault detecting ability, internal structure
3	Wei-Tek Tsai, Dmitry Volovik, Thomas F. Keefe	Automated Test Case Generation for Programs Specified by Relational Algebra Queries.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	black-box software testing, relational algebra queries, arbitrary specifications, relational algebra expressions, automated test case generation method, formal specification, relational databases, program testing, automatic programming
2	Shaoying Liu, Shin Nakajima	A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications.	SSIRI	2010	DBLP DOI BibTeX RDF	Formal specification, Specification-based testing, Automatic test case generation
2	Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller	Generating test cases for specification mining.	ISSTA	2010	DBLP DOI BibTeX RDF	typestate analysis, test case generation, specification mining
2	Siripol Noikajana, Taratip Suwannasart	An Improved Test Case Generation Method for Web Service Testing from WSDL-S and OCL with Pair-Wise Testing Technique.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Wilkerson de L. Andrade, Patrícia D. L. Machado, Everton L. G. Alves, Diego R. Almeida	Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS.	SBMF	2009	DBLP DOI BibTeX RDF
2	Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez	Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms.	IWANN	2009	DBLP DOI BibTeX RDF
2	José Carlos Bregieiro Ribeiro, Mário Zenha Rela, Francisco Fernández de Vega	An adaptive strategy for improving the performance of genetic programming-based approaches to evolutionary testing.	GECCO	2009	DBLP DOI BibTeX RDF	adaptive evolutionary algorithms, search-based test case generation, genetic programming, evolutionary testing, search-based software engineering
2	Junmin Ye, Zemei Zhan, Cong Jin, Qingguo Zhang	A Software Test Cases Automated Generation Algorithm Based on Immune Principles.	ATC	2009	DBLP DOI BibTeX RDF	Immune Operator, Immune System, Test Case Generation
2	Harald Brandl, Franz Wotawa	Test Case Generation from QR Models.	IEA/AIE	2008	DBLP DOI BibTeX RDF	Embedded Systems, Model-based Testing, Qualitative Reasoning, Model-based Reasoning
2	Kathrin Kaschner, Niels Lohmann	Automatic Test Case Generation for Interacting Services.	ICSOC Workshops	2008	DBLP DOI BibTeX RDF	Testing, Test Case Generation, Interacting Services
2	Jifeng He	Refinement and test case generation in Unifying Theory of Programming.	ICSM	2008	DBLP DOI BibTeX RDF
2	Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith	FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.	CAV	2008	DBLP DOI BibTeX RDF
2	Sebastian Benz	AspectT: aspect-oriented test case instantiation.	AOSD	2008	DBLP DOI BibTeX RDF	test case instantiation, model-based testing, test case generation, aspect-orientation
2	José Carlos Bregieiro Ribeiro, Mário Zenha Rela, Francisco Fernández de Vega	Strongly-typed genetic programming and purity analysis: input domain reduction for evolutionary testing problems.	GECCO	2008	DBLP DOI BibTeX RDF	input domain reduction, search-based test case generation, strongly-typed genetic programming
2	Daniel R. Hackner, Atif M. Memon	Test case generator for GUITAR.	ICSE Companion	2008	DBLP DOI BibTeX RDF	gui ripping, integration tree, jfcunit, graphical user interfaces, test case generation, code coverage, junit, event-flow
2	Izzat Alsmadi	The Utilization of User Sessions in Testing.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	test case generation and execution, User Interface, software testing, User sessions
2	Monalisa Sarma, Rajib Mall	Automatic Test Case Generation from UML Models.	ICIT	2007	DBLP DOI BibTeX RDF	Software testing, Object- oriented system, UML models
2	Yongyan Zheng, Jiong Zhou, Paul Krause	A Model Checking based Test Case Generation Framework forWeb Services.	ITNG	2007	DBLP DOI BibTeX RDF
2	Shaoying Liu	Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility.	HASE	2007	DBLP DOI BibTeX RDF
2	Gordon Fraser, Franz Wotawa	Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers.	ICSEA	2007	DBLP DOI BibTeX RDF
2	Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai	A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics.	APLAS	2007	DBLP DOI BibTeX RDF
2	Jangbok Kim, Kyunghee Choi, Daniel Hoffman, Gihyun Jung	White Box Pairwise Test Case Generation.	QSIC	2007	DBLP DOI BibTeX RDF
2	Yacine Kissoum, Zaïdi Sahnoun	A Formal Approach for Functional and Structural Test Case Generation in Multi-Agent Systems.	AICCSA	2007	DBLP DOI BibTeX RDF
2	Maher Lamari	Towards an automated test generation for the verification of model transformations.	SAC	2007	DBLP DOI BibTeX RDF	MDA (Model Driven Architecture), input test models, model transformation, test case generation, automated verification
2	Bruno Dutertre	Formal Modeling and Analysis of the Modbus Protocol.	Critical Infrastructure Protection	2007	DBLP DOI BibTeX RDF	Modbus, modeling, formal methods, test-case generation
2	Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	The software model checker Blast.	STTT	2007	DBLP DOI BibTeX RDF	Model checking, Software verification, Test-case generation, Software specification, Memory safety
2	Ajitha Rajan	Automated requirements-based test case generation.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF
2	Valdivino A. Santiago, Ana Silvia Martins do Amaral, N. L. Vijaykumar, Maria de Fátima Mattiello-Francisco, Eliane Martins, Odnei Cuesta Lopes	A Practical Approach for Automated Test Case Generation using Statecharts.	COMPSAC	2006	DBLP DOI BibTeX RDF
2	Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ronen	Scheduling-based test-case generation for verification of multimedia SoCs.	DAC	2006	DBLP DOI BibTeX RDF	test generation, system on a chip, functional verification
2	Christophe Joubert, Radu Mateescu	Distributed On-the-Fly Model Checking and Test Case Generation.	SPIN	2006	DBLP DOI BibTeX RDF
2	Gordon Fraser, Franz Wotawa	Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis.	ICSEA	2006	DBLP DOI BibTeX RDF
2	Tanvir Hussain, Georg Frey	UML-based Development Process for IEC 61499 with Automatic Test-case Generation.	ETFA	2006	DBLP DOI BibTeX RDF
2	Jun Yan, Zhong Jie Li, Yuan Yuan, Wei Sun 0001, Jian Zhang 0001	BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach.	ISSRE	2006	DBLP DOI BibTeX RDF
2	Marc Fisher II, Gregg Rothermel, Darren Brown, Mingming Cao, Curtis R. Cook, Margaret M. Burnett	Integrating automated test generation into the WYSIWYT spreadsheet testing methodology.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	testing, end-user programming, test case generation, End-user software engineering
2	Avik Sinha, Carol 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
2	Hongmei Chi, Edward L. Jones, Deidre W. Evans, Martin Brown	Generating Test Data for Specification-Based Tests Via Quasirandom Sequences.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF	specification-driven test, functional test coverage, quasirandom numbers, well-distributed sequences, automatic test case generation
2	Atul Gupta, Pankaj Jalote	An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded Faults.	TACAS	2006	DBLP DOI BibTeX RDF	Block coverage, Predicate coverage, Software testing, Experiment, Statistical analysis, Test case generation, Mutation Operator, Branch coverage
2	Matthias Riebisch, Michael Hübner	Traceability-Driven Model Refinement for Test Case Generation.	ECBS	2005	DBLP DOI BibTeX RDF
2	Zhenyu Liu, Genxing Yang	An Automate Test Case Generation Approach: Using Match Technique.	CIT	2005	DBLP DOI BibTeX RDF
2	Bernhard K. Aichernig, Percy Antonio Pari Salas	Test Case Generation by OCL Mutation and Constraint Solving.	QSIC	2005	DBLP DOI BibTeX RDF
2	Frank Lammermann, Stefan Wappler	Benefits of software measures for evolutionary white-box testing.	GECCO	2005	DBLP DOI BibTeX RDF	metric, software measurement, evolutionary testing, automated test case generation
2	Stefan Wappler, Frank Lammermann	Using evolutionary algorithms for the unit testing of object-oriented software.	GECCO	2005	DBLP DOI BibTeX RDF	chaining approach, multi-level optimization, evolutionary testing, object-oriented testing, automated test case generation
2	Christoph Csallner, Yannis Smaragdakis	Check 'n' crash: combining static checking and testing.	ICSE	2005	DBLP DOI BibTeX RDF	usability, static analysis, dynamic analysis, automatic testing, test case generation, extended static checking
2	Songtao Xia, Ben Di Vito, César Muñoz	Automated test generation for engineering applications.	ASE	2005	DBLP DOI BibTeX RDF	model-checking, test case generation, predicate abstraction
2	Levi Lucio, Marko Samer	Technology of Test-Case Generation.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
2	Stefania Gnesi, Diego Latella, Mieke Massink	Formal Test-Case Generation for UML Statecharts.	ICECCS	2004	DBLP DOI BibTeX RDF
2	Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel	Model-based testing for real.	STTT	2004	DBLP DOI BibTeX RDF	Model checking, Symbolic execution, Behavior models, Test case generation
2	Tsong Yueh Chen, Pak-Lok Poon, T. H. Tse	A Choice Relation Framework for Supporting Category-Partition Test Case Generation.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Category-partition testing, choice relation framework, choice relation table, test case construction, test frame, specification-based testing
2	Sami Beydeda, Volker Gruhn	BINTEST - Binary Search-based Test Case Generation.	COMPSAC	2003	DBLP DOI BibTeX RDF
2	Patrick J. Schroeder, Eok Kim, Jerry Arshem, Pankaj Bolaki	Combining Behavior and Data Modeling in Automated Test Case Generation.	QSIC	2003	DBLP DOI BibTeX RDF
2	Sami Beydeda, Volker Gruhn	Test Case Generation According to the Binary Search Strategy.	ISCIS	2003	DBLP DOI BibTeX RDF
2	Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes	Test Case Generation from AsmL Specifications.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
2	Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser	Experiments with Test Case Generation and Runtime Analysis.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
2	Matthias Riebisch, Ilka Philippow, Marco Götze	UML-Based Statistical Test Case Generation.	NetObjectDays	2002	DBLP DOI BibTeX RDF
2	Marc Fisher II, Mingming Cao, Gregg Rothermel, Curtis R. Cook, Margaret M. Burnett	Automated test case generation for spreadsheets.	ICSE	2002	DBLP DOI BibTeX RDF
2	Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes	Generating finite state machines from abstract state machines.	ISSTA	2002	DBLP DOI BibTeX RDF	finite state machine, test case generation, FSM, abstract state machine, executable specification, ASM
2	Guido Wimmel, Jan Jürjens	Specification-Based Test Generation for Security-Critical Systems Using Mutations.	ICFEM	2002	DBLP DOI BibTeX RDF	E-Commerce Systems, Security-Critical Systems, Validation and Analysis, Computer-aided Software Engineering (CASE), Formal Methods, Test Case Generation, Test Specification, AutoFocus
2	Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps	Model Based Testing in Evolutionary Software Development.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF	Cleanroom SW Engineering, Rapid Prototyping, Extreme Programming, Reactive Systems, Constraint Logic Programming, Incremental Development, Test Case Generation
2	Jin-Cherng Lin, Pu-Lin Yeh	Using genetic algorithms for test case generation in path testing.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	survival of the fittest theory, operator sequences, genetic algorithms, genetic algorithms, real-time systems, logic testing, SIMILARITY, automatic test pattern generation, test case generation, fitness function, program execution, path testing
2	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
2	Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli	Testing embedded real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product
2	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
2	Lars Mats	Selection Criteria for Automated TTCN Test Case Generation from SDL.	WIFT	1998	DBLP DOI BibTeX RDF
2	Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima	A Test-case Generation Method for Concurrent Programs Including Task-types.	APSEC	1997	DBLP DOI BibTeX RDF
2	Rajiv Gupta, Mary Lou Soffa	Priority based data flow testing. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	priority based data flow testing, def-use pairs, program change, software testing, software maintenance, software maintenance, software development, statistical analysis, program testing, regression testing, data flow analysis, error, test case generation, program diagnostics
2	Alberto Avritzer, Elaine J. Weyuker	The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	software testing, Markov chains, Automatic test case generation, reliability assessment
2	Daniel Hoffman, C. Brealey	Module Test Case Generation.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
2	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
1	Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten	Connectors as designs: Modeling, refinement and test case generation.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Y. Huang, L. Lu	Apply ant colony to event-flow model for graphical user interface test case generation.	IET Software	2012	DBLP DOI BibTeX RDF
1	A. Isabella, Emi Retna	Study Paper on Test Case generation for GUI Based Testing	CoRR	2012	DBLP BibTeX RDF
1	Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl	On the Danger of Coverage Directed Test Case Generation.	FASE	2012	DBLP DOI BibTeX RDF
1	Christian Schwarzl, Franz Wotawa	Test case generation in practice for communicating embedded systems.	Elektrotechnik und Informationstechnik	2011	DBLP DOI BibTeX RDF
1	Surender Singh Dahiya, Jitender Kumar Chhabra, Shakti Kumar	PSO Based Pseudo Dynamic Method for Automated Test Case Generation Using Interpreter.	ICSI	2011	DBLP DOI BibTeX RDF
1	Kyungmin Go, Sungwon Kang, Myungchul Kim, Jihyun Lee	A Systematic Test Case Generation Approach for Testing Message Length Variability.	ICST	2011	DBLP DOI BibTeX RDF
1	Gordon Fraser, Andreas Zeller	Exploiting Common Object Usage in Test Case Generation.	ICST	2011	DBLP DOI BibTeX RDF
1	Ana Barbosa, Ana C. R. Paiva, José Creissac Campos	Test case generation from mutated task models.	EICS	2011	DBLP DOI BibTeX RDF
1	Anh D. Le, Tho T. Quan, Nguyen T. Huynh, Phung H. Nguyen	CTGE: An Effective Constraint-based Test-case Generation Algorithm for Detecting Regression Bugs in Evolving Programs.	ICSOFT	2011	DBLP BibTeX RDF
1	Dimitra Giannakopoulou, Neha Rungta, Michael Feary	Automated test case generation for an autopilot requirement prototype.	SMC	2011	DBLP DOI BibTeX RDF
1	Reinhard Hametner, Benjamin Kormann, Birgit Vogel-Heuser, Dietmar Winkler, Alois Zoitl	Test case generation approach for industrial automation systems.	ICARA	2011	DBLP DOI BibTeX RDF
1	Swati Singhal, Atul Sunsunwal, Sandeep K. Singh, Sangeeta Sabharwal	EBTCG: a tool for Event Based Test Case Generation.	ISEC	2011	DBLP DOI BibTeX RDF
1	Rui Yang, Zhenyu Chen, Baowen Xu, W. Eric Wong, Jie Zhang	Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis.	HASE	2011	DBLP DOI BibTeX RDF
1	M. Prasanna, K. R. Chandran	Automated Test Case Generation for Object Oriented Systems Using UML Object Diagrams.	HPAGC	2011	DBLP DOI BibTeX RDF
1	Arne-Michael Törsel	Automated Test Case Generation for Web Applications from a Domain Specific Model.	COMPSAC Workshops	2011	DBLP DOI BibTeX RDF
1	Nannan He, Philipp Rümmer, Daniel Kroening	Test-case generation for embedded simulink via formal concept analysis.	DAC	2011	DBLP DOI BibTeX RDF
1	Jan Peleska, Elena Vorobev, Florian Lapschies	Automated Test Case Generation with SMT-Solving and Abstract Interpretation.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
1	Puneet Bhateja	Test Case Generation Using PDA.	TASE	2011	DBLP DOI BibTeX RDF	Test generation, dynamic testing, static testing
1	Khandakar Fazley Rabbi, Sabira Khatun, Che Yahaya Yaakub, Mohammad F. J. Klaib	EasyA: Easy and Effective Way to Generate Pairwise Test Data.	CICSyN	2011	DBLP DOI BibTeX RDF	Software testing, Test case generation, Combinatorial interaction testing, Pairwise testing
1	Albrecht Schmidt	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
1	Shaukat Ali, Lionel C. Briand, Hadi Hemmati, Rajwinder Kaur Panesar-Walawege	A Systematic Review of the Application and Empirical Investigation of Search-Based Test Case Generation.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF
1	Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita	Efficient test case generation for validation of UML activity diagrams.	Design Autom. for Emb. Sys.	2010	DBLP DOI BibTeX RDF