Inferring Disjunctive Postconditions

By Corneliu Popeea, Wei-Ngan Chin. 2006

73 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Software

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Swarat Chaudhuri
2. Timon Gehr
3. Petar Tsankov
4. Martin T. Vechev
5. Matthew Mirman
6. Michael Pradel
7. Miltiadis Allamanis
8. Charles Sutton

In Computational Theory and Mathematics

1. Timon Gehr
2. Martin T. Vechev
3. Swarat Chaudhuri

In Software

1. Swarat Chaudhuri
2. Petar Tsankov
3. Martin T. Vechev
4. Timon Gehr
5. Matthew Mirman
6. Miltiadis Allamanis
7. Charles Sutton
8. Michael Pradel

Citations in the corpus

• AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation (2018, methodology): “We also implemented bounded powerset domains (disjunctive abstractions [33], [36]), which can be instantiated with any of the above abstract domains.”