Alcoa: the Alloy constraint analyzer
By Daniel Jackson, Ian Schechter, I. Shlyakhter. Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium, 2000
338 citations recorded by the source corpus.
Subfields: Computational Theory and Mathematics, Computer Networks and Communications, Software
View Paper: https://www.semanticscholar.org/paper/816ddb91192780f7db230eae0e8681816698456d
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
- Darko Marinov
- Sarfraz Khurshid
- Chandrasekhar Boyapati
- J. Magee
- J. Kramer
- Ioannis Georgiadis
- Koushik Sen
- Corina S. Pasareanu
In Computer Networks and Communications
- J. Magee
- J. Kramer
- Sarfraz Khurshid
- Darko Marinov
- Chandrasekhar Boyapati
- Ioannis Georgiadis
- Julie Ann McCann
- Markus C. Huebscher
In Software
- Darko Marinov
- Sarfraz Khurshid
- Chandrasekhar Boyapati
- J. Magee
- J. Kramer
- Ioannis Georgiadis
- Koushik Sen
- Patrice Godefroid
Citations in the corpus
- TestEra: a novel framework for automated testing of Java programs (2001, methodology): “Details of the notation can be found in [15] and of the Alloy Analyzer in [12, 14, 27].”
- Self-organising software architectures for distributed systems (2002, methodology): “This has the advantage that the Alcoa tool [ 10 ] can then be used to generate, explore and analyse the specifications.”
- Korat: automated testing based on Java predicates (2002, methodology): “We next compare the performance of Korat’s test case generation with that of the Alloy Analyzer (AA) [15], an automatic tool for analyzing Alloymodels.”