[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 - Checking threat modeling data flow diagrams for implementation conformance and security

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

✍ Dhungana, Deepak; Rabiser, Rick; Grünbacher, Paul; Neumayer, Thomas 📂 Article 📅 2007 🏛 ACM Press 🌐 English ⚖ 392 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

[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

The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. However, after a transformation is applied, the source model and the target model usually co-exist and evolve independently.

[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