|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 405 occurrences of 184 keywords
|
|
|
|
|
Results
Found 243 publication records. Showing 243 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 4 | Bogdan Korel, Ali M. Al-Yami |
Assertion-Oriented Automated Test Data Generation.  |
ICSE  |
1996 |
DBLP BibTeX RDF |
assertion oriented automated test data generation, automatic run time detection, program input, software engineering, program testing, automatic programming, white box testing, automated test data generation, software errors |
| 3 | Andreas Windisch |
Search-based test data generation from stateflow statecharts.  |
GECCO  |
2010 |
DBLP DOI BibTeX RDF |
signal generation, optimization, coverage, automation, test data generation, structural testing, simulink, search-based testing, stateflow, model testing |
| 3 | Dan Hao, Lu Zhang 0023, Ming-Hao Liu, He Li, Jiasu Sun |
Test-Data Generation Guided by Static Defect Detection.  |
J. Comput. Sci. Technol.  |
2009 |
DBLP DOI BibTeX RDF |
suspicious statements, software testing, constraint satisfaction problem, test-data generation |
| 3 | Mark Harman, Fayezin Islam, Tao Xie, Stefan Wappler |
Automated test data generation for aspect-oriented programs.  |
AOSD  |
2009 |
DBLP DOI BibTeX RDF |
aspect-oriented software development, test data generation, evolutionary testing, search-based software engineering |
| 3 | Paulo Marcos Siqueira Bueno, W. Eric Wong, Mario Jino |
Automatic test data generation using particle systems.  |
SAC  |
2008 |
DBLP DOI BibTeX RDF |
diversity oriented test data generation, simulated repulsion, genetic algorithms, software testing, simulated annealing, self-organization, random testing, test data generation |
| 3 | Man Xiao, Mohamed El-Attar, Marek Reformat, James Miller |
Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques.  |
Empirical Software Engineering  |
2007 |
DBLP DOI BibTeX RDF |
Empirical results, Empirical software engineering, Test-data generation, Optimization techniques |
| 3 | Kiran Lakhotia, Mark Harman, Phil McMinn |
A multi-objective approach to search-based test data generation.  |
GECCO  |
2007 |
DBLP DOI BibTeX RDF |
multi-objective genetic algorithms, evolutionary testing, automated test data generation |
| 3 | Chartchai Doungsa-ard, Keshav P. Dahal, M. Alamgir Hossain, Taratip Suwannasart |
Test Data Generation from UML State Machine Diagrams using GAs.  |
ICSEA  |
2007 |
DBLP DOI BibTeX RDF |
UML state machine diagram, Genetic algorithm, Test data generation |
| 3 | Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Joachim Wegener |
The impact of input domain reduction on search-based test data generation.  |
ESEC/SIGSOFT FSE  |
2007 |
DBLP DOI BibTeX RDF |
input domain reduction, genetic algorithms, hill climbing, evolutionary testing, automated test data generation, search space reduction |
| 3 | Phil McMinn, Mark Harman, David Binkley, Paolo Tonella |
The species per path approach to SearchBased test data generation.  |
ISSTA  |
2006 |
DBLP DOI BibTeX RDF |
testability transformation, evolutionary testing, search-based software engineering, automated test data generation |
| 3 | Norbert Oster, Francesca Saglietti |
Automatic Test Data Generation by Multi-objective Optimisation.  |
SAFECOMP  |
2006 |
DBLP DOI BibTeX RDF |
testing, evolutionary algorithms, data flow, mutation testing, object-oriented software, automated test data generation |
| 3 | Ming-Hao Liu, You-Feng Gao, Jinhui Shan, Jiang-Hong Liu, Lu Zhang 0023, Jiasu Sun |
An Approach to Test Data Generation for Killing Multiple Mutants.  |
ICSM  |
2006 |
DBLP DOI BibTeX RDF |
adequacy criterion, unit testing, test data generation, mutation testing |
| 3 | Du Zhang |
Machine Learning in Value-Based Software Test Data Generation.  |
ICTAI  |
2006 |
DBLP DOI BibTeX RDF |
value-based software test data generation, genetic algorithms, value-based software engineering |
| 3 | Arnaud Gotlieb, Tristan Denmat, Bernard Botella |
Constraint-based test data generation in the presence of stack-directed pointers.  |
ASE  |
2005 |
DBLP DOI BibTeX RDF |
constraint-based test data generation, stack-directed pointers, constraint satisfaction |
| 3 | Nguyen Tran Sy, Yves Deville |
Consistency techniques for interprocedural test data generation.  |
ESEC / SIGSOFT FSE  |
2003 |
DBLP DOI BibTeX RDF |
software testing, consistency, constraint satisfaction, arrays, test data generation, procedures |
| 3 | Nguyen Tran Sy, Yves Deville |
Automatic Test Data Generation for Programs with Integer and Float Variables.  |
ASE  |
2001 |
DBLP DOI BibTeX RDF |
software testing, consistency, constraint satisfaction, test data generation |
| 3 | Sébastien Lapierre, Ettore Merlo, Gilles Savard, Giuliano Antoniol, Roberto Fiutem, Paolo Tonella |
Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees. (PDF / PS)  |
ICSM  |
1999 |
DBLP DOI BibTeX RDF |
execution tree, extended path constraint (EPC), path infeasibility, symbolic execution, mixed-integer linear programming, Automatic test data generation |
| 3 | Arnaud Gotlieb, Bernard Botella, Michel Rueher |
Automatic Test Data Generation Using Constraint Solving Techniques.  |
ISSTA  |
1998 |
DBLP DOI BibTeX RDF |
constraint solving techniques, structural testing, global constraints, automatic test data generation |
| 3 | Ákos Hajnal, István Forgács |
An Applicable Test Data Generation Algorithm for Domain Errors.  |
ISSTA  |
1998 |
DBLP DOI BibTeX RDF |
border testing, domain testing, testing criterion, software testing, automated test data generation |
| 3 | Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa |
Automated Test Data Generation Using an Iterative Relaxation Method.  |
SIGSOFT FSE  |
1998 |
DBLP DOI BibTeX RDF |
dynamic test data generation, input dependency set, predicate residuals, predicate sliccs, path testing, relaxation methods |
| 3 | Matthew J. Gallagher, V. Lakshmi Narasimhan |
ADTEST: A Test Data Generation Suite for Ada Software Systems.  |
IEEE Trans. Software Eng.  |
1997 |
DBLP DOI BibTeX RDF |
Software test data generation, software testing, symbolic execution, program instrumentation |
| 3 | Christoph C. Michael, Gary McGraw, Michael Schatz, C. C. Walton |
Genetic Algorithms for Dynamic Test Data Generation. (PDF / PS)  |
ASE  |
1997 |
DBLP DOI BibTeX RDF |
program features, random test generation, genetic algorithms, genetic algorithms, software testing, combinatorial optimization, test generation, test data generation, test adequacy criteria |
| 3 | A. Jefferson Offutt |
An integrated automatic test data generation system.  |
Journal of Systems Integration  |
1991 |
DBLP DOI BibTeX RDF |
software testing, constraints, unit testing, test data generation, mutation testing, fault-based testing |
| 3 | Bogdan Korel |
Automated Software Test Data Generation.  |
IEEE Trans. Software Eng.  |
1990 |
DBLP DOI BibTeX RDF |
automated software test data generation, function-minimization methods, input variables, program execution flow, function-minimization search algorithms, input variables, array indexes, data structures, program testing, search problems, automatic programming, minimisation, backtracking, pointers, dynamic data structures, program behavior, dynamic data-flow analysis |
| 2 | Xinzhong Liu, Gaochao Xu, Xiaodong Fu, Yushuang Dong |
Test Data Generation Considering Data Dependence.  |
FCST  |
2010 |
DBLP DOI BibTeX RDF |
test data generation, mutation testing, constraint system, automated software testing |
| 2 | Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian |
Scalable satisfiability checking and test data generation from modeling diagrams.  |
Autom. Softw. Eng.  |
2009 |
DBLP DOI BibTeX RDF |
Modeling, Testing, Databases, NP-hardness, Test data generation, ORM, ORM- |
| 2 | Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu |
Test Data Generation for Derived Types in C Program.  |
TASE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Ying Jiang, Ying-Na Li, Shan-Shan Hou, Lu Zhang 0023 |
Test-Data Generation for Web Services Based on Contract Mutation.  |
SSIRI  |
2009 |
DBLP DOI BibTeX RDF |
Contract Mutation, Web Services, Test-Data Generation |
| 2 | Prasad Bokil, Priyanka Darke, Ulka Shrotri, R. Venkatesh |
Automatic Test Data Generation for C Programs.  |
SSIRI  |
2009 |
DBLP DOI BibTeX RDF |
Modified Condition/Decision coverage (MCDC), Automatic Test data generation |
| 2 | X. B. Tan, Longxin Cheng, Xiumei Xu |
Test Data Generation Using Annealing Immune Genetic Algorithm.  |
NCM  |
2009 |
DBLP DOI BibTeX RDF |
expectation of reproduction, genetic algorithm, Software testing, test data generation |
| 2 | Phil McMinn, David Binkley, Mark Harman |
Empirical evaluation of a nesting testability transformation for evolutionary testing.  |
ACM Trans. Softw. Eng. Methodol.  |
2009 |
DBLP DOI BibTeX RDF |
testability transformation, test data generation, Evolutionary testing, search-based software engineering |
| 2 | Armin Beer, Stefan Mohacsi |
Efficient Test Data Generation for Variables with Complex Dependencies.  |
ICST  |
2008 |
DBLP DOI BibTeX RDF |
Multi-dimensional equivalence partitions, Cause-effect analysis, CECIL method, Test Data Generation |
| 2 | Mohammad F. J. Klaib, Kamal Zuhairi Zamli, Nor Ashidi Mat Isa, Mohammed I. Younis, Rusli Abdullah |
G2Way A Backtracking Strategy for Pairwise Test Data Generation.  |
APSEC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Mohammed I. Younis, Kamal Zuhairi Zamli, Nor Ashidi Mat Isa |
IRPS - An Efficient Test Data Generation Strategy for Pairwise Testing.  |
KES  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Chunyan Ma, Chenglie Du, Tao Zhang, Fei Hu, Xiaobin Cai |
WSDL-Based Automated Test Data Generation for Web Service.  |
CSSE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Hui Ruan, Jian Zhang 0001, Jun Yan |
Test Data Generation for C Programs with String-Handling Functions.  |
TASE  |
2008 |
DBLP DOI BibTeX RDF |
program testing, test data generation, character string |
| 2 | Kiran Lakhotia, Mark Harman, Phil McMinn |
Handling dynamic data structures in search based testing.  |
GECCO  |
2008 |
DBLP DOI BibTeX RDF |
symbolic execution, automated test data generation, concolic testing |
| 2 | Sébastien Bardin, Philippe Herrmann |
Structural Testing of Executables.  |
ICST  |
2008 |
DBLP DOI BibTeX RDF |
structural testing, executable, automatic test data generation |
| 2 | Xiaoying Bai, Shufang Lee, Yinong Chen |
Mutation-Based Simulation Test Data Generation for Testing Complex Real-Time Software.  |
Annual Simulation Symposium  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Bruno Teixeira de Abreu, Eliane Martins, Fabiano Luis de Sousa |
Generalized extremal optimization: an attractive alternative for test data generation.  |
GECCO  |
2007 |
DBLP DOI BibTeX RDF |
evolutionary algorithms, software testing, evolutionary testing, automatic test data generation, path testing |
| 2 | Ahmed S. Ghiduk, Mary Jean Harrold, Moheb R. Girgis |
Using Genetic Algorithms to Aid Test-Data Generation for Data-Flow Coverage.  |
APSEC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Mark Harman, Phil McMinn |
A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation.  |
ISSTA  |
2007 |
DBLP DOI BibTeX RDF |
royal road, genetic algorithms, hill climbing, evolutionary testing, schema theory, automated test data generation |
| 2 | Junyi Li, Jiaguang Sun |
Automated Test Data Generation Algorithm Based On Reversed Binary Tree.  |
SNPD  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Abdelhamid Bouchachia |
An Immune Genetic Algorithm for Software Test Data Generation.  |
HIS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Andreas S. Andreou, Kypros A. Economides, Anastasis A. Sofokleous |
An Automatic Software Test-Data Generation Scheme Based on Data Flow Criteria and Genetic Algorithms.  |
CIT  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Ruilian Zhao, Qing Li |
Automatic Test Generation for Dynamic Data Structures.  |
SERA  |
2007 |
DBLP DOI BibTeX RDF |
dynamic pointer data, least restrictive shape, automatic test data generation, path testing |
| 2 | Zhongxing Xu, Jian Zhang 0001 |
A Test Data Generation Tool for Unit Testing of C Programs.  |
QSIC  |
2006 |
DBLP DOI BibTeX RDF |
pointer operation, unit testing, symbolic execution, Test data generation |
| 2 | Jun-Yi Li, Jia-Guang Sun, Ying-Ping Lu |
Automated Test Data Generation Based on Program Execution.  |
SERA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | H. Turgut Uyar, A. Sima Etaner-Uyar, A. Emre Harmanci |
Pairwise sequence comparison for fitness evaluation in evolutionary structural software testing.  |
GECCO  |
2006 |
DBLP DOI BibTeX RDF |
automated software test data generation, evolutionary algorithms, search-based software engineering, pairwise sequence alignment |
| 2 | Yuan Zhan, John A. Clark |
The state problem for test generation in Simulink.  |
GECCO  |
2006 |
DBLP DOI BibTeX RDF |
Matlab-Simulink, state problem, structural coverage, tracing and deducing, automation, test-data generation |
| 2 | 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 |
| 2 | Arnaud Gotlieb, Tristan Denmat, Bernard Botella |
Goal-Oriented Test Data Generation for Programs with Pointer Variables.  |
COMPSAC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Phil McMinn, Mike Holcombe |
Evolutionary testing of state-based programs.  |
GECCO  |
2005 |
DBLP DOI BibTeX RDF |
chaining approach, state-based programs, evolutionary testing, automated test data generation |
| 2 | Yuan Zhan, John A. Clark |
Search-based mutation testing for Simulink models.  |
GECCO  |
2005 |
DBLP DOI BibTeX RDF |
simulated annealing, automation, heuristic search, test-data generation, mutation testing, Matlab/Simulink |
| 2 | Norbert Oster |
Automated Generation and Evaluation of Dataflow-Based Test Data for Object-Oriented Software.  |
QoSA/SOQUA  |
2005 |
DBLP DOI BibTeX RDF |
testing, evolutionary algorithms, dataflow, mutation testing, object-oriented software, automated test data generation |
| 2 | Yuan Zhan, John A. Clark |
Search Based Automatic Test-Data Generation at an Architectural Level.  |
GECCO  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Jian Zhang, Chen Xu, Xiaoliang Wang |
Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques.  |
SEFM  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | E. Dillon, Christophe Meudec |
Automatic Test Data Generation from Embedded C Code.  |
SAFECOMP  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Mark Harman, Lin Hu, Robert M. Hierons, Joachim Wegener, Harmen Sthamer, André Baresel, Marc Roper |
Testability Transformation.  |
IEEE Trans. Software Eng.  |
2004 |
DBLP DOI BibTeX RDF |
transformation, Evolutionary testing, search-based software engineering, automated test data generation |
| 2 | Ruilian Zhao, Michael R. Lyu |
Character String Predicate Based Automatic Software Test Data Generation.  |
QSIC  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Christophe Paoli, Marie-Laure Nivet, Jean François Santucci, Antoine Campana |
Path-Oriented Test Data Generation of Behavioral VHDL Description.  |
DELTA  |
2002 |
DBLP DOI BibTeX RDF |
High level design validation, simulation-based validation, software testing techniques, constraint logic programming language, VHDL |
| 2 | Yuan Zhan |
Constraint Solving in Test-Data Generation.  |
CP  |
2002 |
DBLP BibTeX RDF |
|
| 2 | Jon Edvardsson, Mariam Kamkar |
Analysis of the constraint solver in UNA based test data generation.  |
ESEC / SIGSOFT FSE  |
2001 |
DBLP DOI BibTeX RDF |
unified numerical approach, constraint solver |
| 2 | Jian Zhang 0001 |
Specification Analysis and Test Data Generation by Solving Boolean Combinations of Numeric Constraints.  |
APAQS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 2 | Paulo Marcos Siqueira Bueno, Mario Jino |
Identification of Potentially Infeasible Program Paths by Monitoring the Search for Test Data. (PDF / PS)  |
ASE  |
2000 |
DBLP DOI BibTeX RDF |
dynamic technique, path unfeasibility, genetic algorithms, test data generation |
| 2 | Tsong Yueh Chen, Man Fai Lau |
Two test data selection strategies towards testing of Boolean specifications. (PDF / PS)  |
COMPSAC  |
1997 |
DBLP DOI BibTeX RDF |
test data selection strategies, Boolean specification testing, Boolean testing, fault based approach, program testing, test data generation, test case selection, Boolean formulae, Boolean expression |
| 2 | Silvia Regina Vergilio, José Carlos Maldonado, Mario Jino |
Constraint Based Selection of Test Sets to Satisfy Structural Software Testing Criteria. (PDF / PS)  |
SCCC  |
1997 |
DBLP DOI BibTeX RDF |
constraint based selection, structural software testing criteria, Constraint Based Criteria, distinct fundamentals, test data generation strategies, test data set adequacy, program testing |
| 2 | Roger Ferguson, Bogdan Korel |
The Chaining Approach for Software Test Data Generation.  |
ACM Trans. Softw. Eng. Methodol.  |
1996 |
DBLP DOI BibTeX RDF |
heuristics, dynamic analysis, data dependency, program execution |
| 2 | Bogdan Korel |
Automated Test Data Generation for Programs with Procedures.  |
ISSTA  |
1996 |
DBLP DOI BibTeX RDF |
|
| 2 | Moheb R. Girgis |
Corrigendum for ``Constraint-Based Automatic Test Data Generation''. (R. A. De Millo and A. J. Offutt, IEEE Trans. Software Eng. vol. 17. no. pp 900-910, Sept. 1991.)  |
IEEE Trans. Software Eng.  |
1993 |
DBLP DOI BibTeX RDF |
constraint-based test data generation, weak mutation, control flow testing, program testing, data flow analysis, program debugging, FORTRAN-77 |
| 2 | Kai-Hsiung Chang, James H. Cross, W. Homer Carlisle, David B. Brown |
A framework for intelligent test data generation.  |
Journal of Intelligent and Robotic Systems  |
1992 |
DBLP DOI BibTeX RDF |
goodness values, software engineering, artificial intelligence, software testing, Rule-based systems, branch coverage |
| 2 | Richard A. DeMillo, A. Jefferson Offutt |
Constraint-Based Automatic Test Data Generation.  |
IEEE Trans. Software Eng.  |
1991 |
DBLP DOI BibTeX RDF |
constraint-based data generation, relative adequacy, fault-based technique, algebraic constraints, Godzilla, module testing, Mothra testing system, computational complexity, program testing, mutation analysis, automatic test data generation |
| 2 | Steven J. Zeil |
Perturbation Techniques for Detecting Domain Errors.  |
IEEE Trans. Software Eng.  |
1989 |
DBLP DOI BibTeX RDF |
sensitivity measures, individual test points, domain errors, perturbing functions, potential faults, standard optimization techniques, novel test-data-generation method, arithmetic fault detection, perturbation techniques, software testing, error detection, error detection, program testing, test set, vector space, arithmetic expressions |
| 1 | Phil McMinn, Mark Harman, Kiran Lakhotia, Youssef Hassoun, Joachim Wegener |
Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data Generation.  |
IEEE Trans. Software Eng.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shujuan Jiang, Yanmei Zhang, Dandan Yi |
Test data generation approach for basis path coverage.  |
ACM SIGSOFT Software Engineering Notes  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoichiro Fujiwara, Kazuki Munakata, Yoshiharu Maeda, Asako Katayama, Tadahiro Uehara |
Test data generation for web application using a UML class diagram with OCL constraints.  |
ISSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Zuhairi Zamli, Mohammad F. J. Klaib, Mohammed I. Younis, Nor Ashidi Mat Isa, Rusli Abdullah |
Design and implementation of a t-way test data generation strategy with automated execution tool support.  |
Inf. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengxiang Lin, Yin-li Chen, Kai Yu, Guo-shi Wu |
Lazy symbolic execution for test data generation.  |
IET Software  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | P. Maragathavalli |
Search-based software test data generation using evolutionary computation  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | A. V. Bataev, A. A. Davydov, N. Yu. Nalutin, S. V. Sinitsyn |
Test data generation based on a formal analysis of the project configuration data.  |
Automatic Control and Computer Sciences  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruchika Malhotra, Mohit Garg |
An Adequacy Based Test Data Generation Technique Using Genetic Algorithms.  |
JIPS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Alshraideh, Basel A. Mahafzah, Saleh Al-Sharaeh |
A multiple-population genetic algorithm for branch coverage test data generation.  |
Software Quality Journal  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Papadakis, Nicos Malevris |
Automatic mutation based test data generation.  |
GECCO (Companion)  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Mairhofer, Robert Feldt, Richard Torkar |
Search-based software testing and test data generation for a dynamic programming language.  |
GECCO  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabira Khatun, Khandakar Fazley Rabbi, Che Yahaya Yaakub, Mohammad F. J. Klaib, Mohammad Masroor Ahmed |
PS2Way: An Efficient Pairwise Search Approach for Test Data Generation.  |
ICSECS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose |
Test Data Generation for Event-B Models Using Genetic Algorithms.  |
ICSECS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krish Perumal, Jagan Mohan Ungati, Gaurav Kumar, Nitish Jain, Raj Gaurav, Praveen Ranjan Srivastava |
Test Data Generation: A Hybrid Approach Using Cuckoo and Tabu Search.  |
SEMCCO  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saeed Parsa, Hamid Rafati PorShokooh, Saman Teymouri, Mojtaba Vahidi-Asl |
A Heuristic Test Data Generation Approach for Program Fault Localization.  |
AICI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaukat Ali, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand |
A Search-Based OCL Constraint Solver for Model-Based Test Data Generation.  |
QSIC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | János Oláh, István Majzik |
Search-Based Functional Test Data Generation Using Data Metamodel.  |
SSBSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Harman, Yue Jia, William B. Langdon |
Strong higher order mutation-based test data generation.  |
SIGSOFT FSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Szatmári, János Oláh, István Majzik |
Ontology-based Test Data Generation using Metaheuristics.  |
ICINCO  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ali M. Alakeel |
An Algorithm for Efficient Assertions-Based Test Data Generation.  |
JSW  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hitesh Tahbildar, Bichitra Kalita |
Heuristic Approach of Automated Test Data Generation for Program having Array of Different Dimensions and Loops with Variable Number of Iteration  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ruilian Zhao, Michael R. Lyu, Yinghua Min |
Automatic string test data generation for detecting domain errors.  |
Softw. Test., Verif. Reliab.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Alshraideh, Leonardo Bottaci, Basel A. Mahafzah |
Using program data-state scarcity to guide automatic test data generation.  |
Software Quality Journal  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leszek Kotulski, Dariusz Dymek |
Using UML(VR) for the support of the test data generation.  |
IJCCBS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Liangliang Kong, Jianhui Jiang |
A Safe Measurement-Based Worst-Case Execution Time Estimation Using Automatic Test-Data Generation.  |
PRDC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Harman, Sung Gon Kim, Kiran Lakhotia, Phil McMinn, Shin Yoo |
Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem.  |
ICST Workshops  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés |
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach.  |
ICST  |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 243 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|