automated test data generation
Automatic Test Data Generation Using Constraint Programming and Search Based Software Engineering Techniques
... software test-data generation. Yet, test-data generation for object-oriented programming (OOP) is challenging due to the features of OOP, ...new automated search-based ...
174
Conformance Testing based on UML State Machines: Automated Test Case Generation, Execution and Evaluation
... Our test approach allows to use UML state machines in quality assurance to pre- cisely specify the reactive behavior of a system, and thus, to serve as the basis for the automated test case ...
21
Automated structure generation for first-principles transition-metal catalysis
... the test set with labeled atom indices to aid inspection of the data set and for any revising of connection or connecting atom selections prior to high-throughput ...random generation and ...
186
Test Case Generation from UML State Machines
... generating test sequences from finite state machine based ...derive test cases from a formal ...the test- ing process to communicate synchronously with the system under ...and data, batch ...
12
Automated feedback generation for introductory programming assignments
... for automated grading of programming assign- ments over the last forty ...first generation sys- tems [21] graded programs by comparing the stored data with the data obtained from program ...
13
Tri-Modal Under-Approximation for Test Generation
... a test of the illustrative example where the event e 1 is activated, and the values a = 10 and b = 11 have been chosen by the ...the test thus requires that these values will be chosen by the instrumented ...
14
Interoperability test generation: formal definitions and algorithm
... One-to-one interoperability testing context Interoperability testing is a kind of test used to verify that protocol implementations are able to communicate correctly while providing the [r] ...
16
Automated Generation of New Concepts from General Game Playing
... 5 Applying Automated Generated Concepts to Games We tried to use the generated concepts to reconstruct heuristic functions. We send queries to a Prolog engine whether each generated concept matches to subsets of ...
10
Automated attack tree generation and evaluation : systemization of knowledge
... plan generation not from keeping track of past specific attacks like Stuxnet, but from reasoning about the techniques they used, in what situations they can be used, and what goal they ...
38
Automated reaction mechanism generation : improving accuracy and broadening scope
... The availability of explicit three-dimensional molecular structures is a key component of efforts to implement on-the-fly force field or quantum mechanics calculations in au[r] ...
186
Generation of incomplete test-data using bayesian networks
... Generation of Incomplete Test-Data using Bayesian Networks Olivier Franc¸ois and Philippe Leray Abstract— We introduce a new method based on Bayesian Network formalism for automatically generating ...
7
Automated Reaction Mechanism Generation Including Nitrogen as a Heteroatom
... 3.5. Updated ethylamine thermodynamic values Thermodynamic values of EA in the models presented in this work were taken from an RMG library of C\H\N containing species. In this library, the EA H and Cp values were taken ...
41
Automated generation of custom processor core from C code
... a data path generation from a controller generation: this allows us to analyze code and perform profiling before the data path ...of data path and controller generation reduces ...
28
Explaining Automated Data Cleaning with CLeanEX
... ML-based data and pipeline ...of data cleaning and data repairing [Yakout et ...for data repairing based on prob- abilistic inference to handle integrity constraints or external data ...
8
Automated Design Data and Rationale Capture
... A typical variable data table would show the name of each constant in the project listed in the first column in alphabetical order. Next to the name, the second column lists the subsystems in which these ...
7
On Automated Lemma Generation for Separation Logic with Inductive Definitions
... the data structure according to their inductive definition, ...the data structures using while loops, re- mains a ...of data structures, traversed during a partial execution of the loop, and proving ...
25
Constraint-Based Test Input Generation for Java Bytecode
... input generation at the Bytecode level. JAUT performs constraint-based test input generation from Java ...existing test set produced by one of these tools by applying more costly analysis for ...
11
Test Sequence Generation From Formally Verified SysML Models
... generating test sequences expressed in SysML and more precisely in the dialect of SysML supported by the free and open-source tool named ...links test generation to formal ...
9
A Model-based Approach for Test Cases Generation
... Usabilidade, Sistemas Interativos, Teste baseado em Modelos Abstract — The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the ...
6
A model-based approach for interoperability test generation
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
15