Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
SAT-solving
Specifications
7
Alloy
6
Alloy analyzers
6
Alloys
6
Software testing
6
Cerium alloys
5
Abstracting
4
Alloying
4
Automated test generation
4
Automated test generations
4
Bounded exhaustive testing
4
Contour followers
4
Korat
4
Parallel analysis
4
Propositional formulas
4
SAT solvers
4
SAT solving
4
Transcoping
4
Alloy languages
3
Atomic transition
3
Autopilot systems
3
Computer software
3
Dynamic logic
3
Example based
3
Linguistics
3
Operational languages
3
Requirements specifications
3
Software engineering
3
Tabular expressions
3
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8Artículo publishedVersion
-
9
-
10
-
11
-
12
-
13
-
14
-
15