𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Symbolic search-based testing

✍ Scribed by Baars, Arthur; Harman, Mark; Hassoun, Youssef; Lakhotia, Kiran; McMinn, Phil; Tonella, Paolo; Vos, Tanja

Book ID: 115484949
Publisher: IEEE
Year: 2011
Weight: 512 KB
Volume: 0
Category: Article
ISBN: 1457716380
DOI: 10.1109/ase.2011.6100119

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 24th IEEE/ACM International C

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - SMT-Based Bounded Model Checking for Embedded ANSI-C Software

✍ Cordeiro, Lucas; Fischer, Bernd; Marques-Silva, Joao 📂 Article 📅 2009 🏛 IEEE ⚖ 528 KB

[IEEE 2011 10th International Conference

[IEEE 2011 10th International Conference on Environment and Electrical Engineering (EEEIC) - Rome, Italy (2011.05.8-2011.05.11)] 2011 10th International Conference on Environment and Electrical Engineering - Optimal placement of DGs for reliability and loss evaluation using DIgSILENT software

✍ Sami, T.; Mahaei, S. M.; Namarvar, M. T. Hashemi; Iravani, H. 📂 Article 📅 2011 🏛 IEEE ⚖ 798 KB

[ACM Press the 27th IEEE/ACM Internation

[ACM Press the 27th IEEE/ACM International Conference - Essen, Germany (2012.09.03-2012.09.07)] Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012 - Augmented dynamic symbolic execution

✍ Jamrozik, Konrad; Fraser, Gordon; Tillmann, Nikolai; De Halleux, Jonathan 📂 Article 📅 2012 🏛 ACM Press ⚖ 269 KB

[IEEE 2011 10th International Conference

[IEEE 2011 10th International Conference on Environment and Electrical Engineering (EEEIC) - Rome, Italy (2011.05.8-2011.05.11)] 2011 10th International Conference on Environment and Electrical Engineering - Joint operation of wind power and flexible load as virtual power plant

✍ Mohammadi, Javad; Rahimi-Kian, Ashkan; Ghazizadeh, Mohammad Sadegh 📂 Article 📅 2011 🏛 IEEE ⚖ 950 KB

[ACM Press the twenty-second IEEE/ACM in

[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Parseweb

✍ Thummalapenta, Suresh; Xie, Tao 📂 Article 📅 2007 🏛 ACM Press 🌐 English ⚖ 423 KB

[ACM Press the 27th IEEE/ACM Internation

[ACM Press the 27th IEEE/ACM International Conference - Essen, Germany (2012.09.03-2012.09.07)] Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012 - Support vector machines for anti-pattern detection

✍ Maiga, Abdou; Ali, Nasir; Bhattacharya, Neelesh; Sabané, Aminata; Guéhéneuc, Yan 📂 Article 📅 2012 🏛 ACM Press ⚖ 561 KB