𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the 2013 International Symposium - Lugano, Switzerland (2013.07.15-2013.07.20)] Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 - Formal safety proof: a real case study in a railway interlocking system

✍ Scribed by Bonacchi, Andrea

Book ID: 121719981
Publisher: ACM Press
Year: 2013
Weight: 274 KB
Category: Article
ISBN: 1450321593
DOI: 10.1145/2483760.2492398

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 2013 International Sympos

[ACM Press the 2013 International Symposium - Lugano, Switzerland (2013.07.15-2013.07.20)] Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 - Selective mutation testing for concurrent code

✍ Gligoric, Milos; Zhang, Lingming; Pereira, Cristiano; Pokam, Gilles 📂 Article 📅 2013 🏛 ACM Press ⚖ 287 KB

[ACM Press the 2013 International Sympos

[ACM Press the 2013 International Symposium - Lugano, Switzerland (2013.07.15-2013.07.20)] Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 - Semi-valid input coverage for fuzz testing

✍ Tsankov, Petar; Dashti, Mohammad Torabi; Basin, David 📂 Article 📅 2013 🏛 ACM Press ⚖ 532 KB

[ACM Press the 2013 International Sympos

[ACM Press the 2013 International Symposium - Lugano, Switzerland (2013.07.15-2013.07.20)] Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 - Faster mutation testing inspired by test prioritization and reduction

✍ Zhang, Lingming; Marinov, Darko; Khurshid, Sarfraz 📂 Article 📅 2013 🏛 ACM Press ⚖ 352 KB

[ACM Press the 2013 International Sympos

[ACM Press the 2013 International Symposium - Lugano, Switzerland (2013.07.15-2013.07.20)] Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 - Does automated white-box test generation really help software testers?

✍ Fraser, Gordon; Staats, Matt; McMinn, Phil; Arcuri, Andrea; Padberg, Frank 📂 Article 📅 2013 🏛 ACM Press ⚖ 615 KB

[ACM Press the 2013 International Sympos

[ACM Press the 2013 International Symposium - Lugano, Switzerland (2013.07.15-2013.07.20)] Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 - SimRacer: an automated framework to support testing for process-level races

✍ Yu, Tingting; Srisa-an, Witawas; Rothermel, Gregg 📂 Article 📅 2013 🏛 ACM Press ⚖ 436 KB

[ACM Press the 2013 International Sympos

[ACM Press the 2013 International Symposium - Lugano, Switzerland (2013.07.15-2013.07.20)] Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 - Combining model checking and testing with an application to reliability prediction and distribution

✍ Gui, Lin; Sun, Jun; Liu, Yang; Si, Yuan Jie; Dong, Jin Song; Wang, Xin Yu 📂 Article 📅 2013 🏛 ACM Press ⚖ 901 KB