[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 - Integrated tool support for software product line engineering

[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 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 - Concolic testing

✍ Sen, Koushik 📂 Article 📅 2007 🏛 ACM Press 🌐 English ⚖ 197 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 - A framework and tool supports for testing modularity of software design

✍ Cai, Yuanfang; Huynh, Sunny; Xie, Tao 📂 Article 📅 2007 🏛 ACM Press 🌐 English ⚖ 189 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 - A framework and tool supports for testing modularity of software design

✍ Cai, Yuanfang; Huynh, Sunny; Xie, Tao 📂 Article 📅 2007 🏛 ACM Press 🌐 English ⚖ 189 KB

Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach is lacking to test and verify software design models against their modularity properties, in particular, their ability to a

[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 - Effective memory protection using dynamic tainting

✍ Clause, James; Doudalis, Ioannis; Orso, Alessandro; Prvulovic, Milos 📂 Article 📅 2007 🏛 ACM Press 🌐 English ⚖ 175 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 - Towards automatic model synchronization from model transformations

✍ Xiong, Yingfei; Liu, Dongxi; Hu, Zhenjiang; Zhao, Haiyan; Takeichi, Masato; Mei, 📂 Article 📅 2007 🏛 ACM Press 🌐 English ⚖ 389 KB