Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specifications
Software engineering
6
Alloy
4
Alloying
4
Artificial intelligence
4
Automated approach
4
Automated test generation
4
Automated test generations
4
Bounded exhaustive testing
4
Computation theory
4
Korat
4
Learning systems
4
Model checking
4
Requirements elicitation
4
SAT solving
4
SAT-solving
4
Scenario-based specifications
4
Semi-automated
4
Software testing
4
Transcoping
4
Abstracting
2
Abstraction techniques
2
Alloy Analyzer
2
Alloy analyzers
2
Alloys
2
Analysis and verifications
2
Automated analysis
2
Automated code generation
2
Automated support
2
Behavior model
2
-
1Materias: “...Automated test generation...”
-
2Materias: “...Automated test generation...”
JOUR -
3Materias: “...automated abstraction...”
-
4Publicado 2012Materias: “...Semi-automated...”
-
5Materias: “...Semi-automated...”
Artículo publishedVersion -
6Materias: “...Semi-automated...”
Artículo publishedVersion -
7Materias: “...automated abstraction...”
JOUR -
8Materias: “...Semi-automated...”
SER -
9Materias: “...Automated analysis...”
-
10Materias: “...Automated analysis...”
SER -
11Materias: “...Automated test generation...”
-
12Materias: “...Automated test generation...”
CONF -
13Publicado 2017Materias: “...Automated code generation...”
-
14
-
15Publicado 2011Materias: “...Automated support...”
-
16Materias: “...Automated support...”
CONF