[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Reliability analysis in Symbolic PathFinder

[IEEE 2013 35th International Conference

✍ Filieri, Antonio (author);Pasareanu, Corina S. (author);Visser, Willem (author) 📂 Article 📅 2013 🏛 IEEE ⚖ 254 KB

[IEEE 2013 35th International Conference

✍ Menzies, Tim (author);Kocaguneli, Ekrem (author);Peters, Fayola (author);Turhan, 📂 Article 📅 2013 🏛 IEEE 🌐 English ⚖ 108 KB

[IEEE 2013 35th International Conference

✍ Menzies, Tim (author);Kocaguneli, Ekrem (author);Peters, Fayola (author);Turhan, 📂 Article 📅 2013 🏛 IEEE 🌐 English ⚖ 108 KB

[IEEE 2013 35th International Conference

✍ Bouwers, Eric (author);Van Deursen, Arie (author);Visser, Joost (author) 📂 Article 📅 2013 🏛 IEEE 🌐 English ⚖ 114 KB

[IEEE 2013 35th International Conference

✍ Bouwers, Eric (author);Van Deursen, Arie (author);Visser, Joost (author) 📂 Article 📅 2013 🏛 IEEE ⚖ 114 KB

[IEEE 2013 35th International Conference

✍ Saraiva, Juliana 📂 Article 📅 2013 🏛 IEEE 🌐 English ⚖ 106 KB