A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking.
| Autor: | Valdiviezo, Manuel, Cifuentes, Cristina, Krishnan, Padmanabhan |
|---|---|
| Zdroj: | Programming Languages & Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings; 2014, p196-215, 20p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|