g n i r nee
i g n E e r a w t f So
The software engineering group conducts research on applying advanced program analyses towards problems related to fault isolation, various kinds of bug detection including those related to race conditions in concurrent programs, and specification inference for large-scale software systems. Aspect-oriented abstractions and new program slicing and mining techniques are some of the mechanisms that are being explored to address these issues. Faculty involved in software engineering at Purdue include H. E. Dunsmore, Aditya Mathur, Vernon Rego (p. 11), Eugene H. Spafford (p. 15), Xiangyu Zhang (p. 21). Publications Ammar Masood, Rafae Bhatti, Arif Ghafoor, and Aditya Mathur, “Scalable and Effective Test Generation for Role-Based Access Control Systems”, IEEE Transactions on Software Engineering, Volume 35, Issue 5, September-October 2009, pp. 654-668. Ammar Masood, Arif Ghafoor, and Aditya Mathur, “Conformance Testing of Temporal Role-Based Access Control Systems”, IEEE Transactions on Dependable and Secure Computing, 21 Jul. 2008, IEEE Computer Society Digital Library, IEEE Computer Society, 2010. Scott Miller, Raymond DeCarlo, Aditya P. Mathur, “Quantitative Modeling for incremental software process control”, Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, pp. 937-942, Turku, Finland, July 28-August 1, 2008. Vinaitheerthan Sundaram, Patrick Th. Eugster, Xiangyu Zhang, “Efficient diagnostic tracing for wireless sensor networks”, ACM SenSys, 169-182, 2010. Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan, “Semantics-aware trace analysis”, Programming Language Design and Implementation (PLDI), 453-464, 2009. Kevin J. Hoffman, Patrick Th. Eugster, “Cooperative aspect-oriented programming”, Science of Computer Programming, 74(5-6): 333-354, 2009. Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, and Suresh Jagannathan, “Analyzing Concurrency Bugs using Dual Slicing”, International Symposium on Software Testing and Analysis (ISSTA), 2010
22