Alloy 12 Alloying Propositional formulas 6 Software testing 6 Static analysis 6 Tools 6 Alloy analyzers 4 Alloys 4 Automated test generation 4 Automated test generations 4 Bounded exhaustive testing 4 Cerium alloys 4 Code analysis 4 DynAlloy 4 Korat 4 SAT solving 4 SAT-based code analysis 4 SAT-solving 4 Specifications 4 Transcoping 4 Alloy calculus 2 Alloy languages 2 Analysis costs 2 Automatic analysis 2 Calculations 2 Commodity clusters 2 Computer programming languages 2 Computer software 2 Computer systems programming 2 Critical applications 2