Papers on Software Testing, Analysis and Validation
2012
[ICSE]
Inferring Class Level Specifications for Distributed Systems
Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury and David Lo
ACM/IEEE International Conference on Software Engineering (ICSE) 2012.
[ICSE-TechBrief]
Symbolic Techniques for Software Debugging
Abhik Roychoudhury and Satish Chandra
Technical Briefing at ACM/IEEE International Conference on Software Engineering (ICSE) 2012.
[TOSEM]
DARWIN: An Approach for
Debugging Evolving Programs (
PDF )
Dawei Qi, Abhik
Roychoudhury, Zhenkai Liang,
Kapil Vaswani
ACM Transactions on Software Engineering and Methodology, To appear.
[TOSEM]
Symbolic Message
Sequence Charts ( PDF
)
Abhik Roychoudhury, Ankit Goel and Bikram Sengupta
ACM Transactions on Software Engineering and Methodology (TOSEM), 21(2), 2012.
2011
[ESEC-FSE]
Path Exploration based on
Symbolic Output (
PDF )
Dawei Qi, Hoang D.T. Nguyen,
Abhik Roychoudhury
Joint meeting of ESEC and ACM SIGSOFT Symposium on the Foundations of Software
Engineering (FSE), ESEC-FSE 2011.
[PASTE]
Locating Failure Inducing
Environment Changes (
PDF )
Dawei Qi, Cristal Ngo, Tao Sun,
Abhik Roychoudhury
10th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and
Engineering (PASTE) 2011.
[ICSE-PESOS]
Engineering Multi-tenant
Software-as-a-Service Systems (
PDF )
Bikram Sengupta, Abhik
Roychoudhury
Position Paper, ICSE 2011 -
Principles of Engineering Service Oriented Systems (PESOS).
[ICSE]
Mining Message Sequence Graphs
(PDF)
Sandeep Kumar, Siau-Cheng Khoo,
Abhik Roychoudhury, David Lo
ACM/IEEE International Conference on Software Engineering (ICSE) 2011.
2010
[ASE]
Test Generation to Expose Changes in Evolving Programs ( PDF )
Dawei Qi, Abhik Roychoudhury, Zhenkai Liang
25nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2010.
Golden Implementation Driven Software Debugging ( PDF )
Ansuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang
ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE) 2010.
[ENTCS]
Debugging as a Science, that too, when your Program is Changing ( PDF )
Abhik Roychoudhury
Keynote at the Intl. Workshop on Harnessing Theories for Tool Support in Software (TTSS),
Electronic Notes in Theoretical Computer Science (ENTCS).
[ISoLA]
WOMM: A Weak Operational Memory Model ( PDF)
Arnab De, Abhik Roychoudhury, Deepak D'Souza
4th Intl. Symp. On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2010, LNCS 6415, pp 519-534.
2009
[FSE]
DARWIN: An Approach for Debugging Evolving Programs (
PDF )
[ACM SIGSOFT Distinguished Paper Award]
Dawei Qi, Abhik
Roychoudhury, Zhenkai Liang,
Kapil Vaswani
Joint meeting of ESEC and ACM SIGSOFT Symposium on the Foundations of Software
Engineering (FSE), ESEC-FSE 2009.
[ICSE]
Footprinter: Roundtrip Engineering via Scenario and State based Models ( PDF)
Ankit Goel, Bikram Sengupta and Abhik Roychoudhury,
ACM International Conference on Software Engineering (ICSE) 2009, [Short paper].
[FM]
Fair Model Checking with Process Counter Abstraction (
PDF)
Jun Sun, Yang Liu,
Abhik Roychoudhury, Shanshan Liu and Jin Song Dong
International Symposium on Formal Methods (FM) 2009.
[TOSEM]
Interacting Process Classes (
PDF )
Ankit Goel, Abhik Roychoudhury, and P.S. Thiagarajan
ACM Transactions on Software Engineering and Methodology (TOSEM), 18(4), 2009.
2008
[PASTE]
Java Memory Model aware Software Validation ( PDF, Link to ACM Digital Library, Associated TechReport )[ISoLA] Debugging Statecharts via Model-code
Traceability ( PDF
)
Liang Guo and Abhik Roychoudhury
International Symposium on Leveraging Applications of Formal Methods,
Verification and Validation (ISoLA) 2008, Invited.
This paper employs dynamic slicing on Statechart
models by exploiting model-code traceability.
[TOPLAS] Dynamic Slicing on Java Bytecode Traces (
Tech Report with all Proofs,
Paper )
Tao Wang and Abhik Roychoudhury
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 30(2),
March 2008.
2007
[ISSTA] Hierarchical Dynamic Slicing (
PDF )
Tao Wang and Abhik Roychoudhury
ACM International Symposium on Software Testing and Analysis (ISSTA) 2007.
[FMSD] Memory
Model Sensitive Bytecode Verification (
PDF )
Thuan Quang Huynh and Abhik Roychoudhury
Formal Methods in System Design, 31(3), December 2007.
[FSE]
Symbolic Message Sequence Charts (
PDF )
Abhik Roychoudhury, Ankit Goel and Bikram Sengupta
Joint meeting of the 11th European Software Engineering Conference (ESEC) and
15th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) 2007.
2006
[CC] Accurately Choosing Execution Runs for Software Fault Localization
( PDF )
Liang Guo, Abhik Roychoudhury and Tao Wang
Compiler Construction (CC) 2006, LNCS 3923, Springer Verlag.
[FM] A
Memory Model Sensitive Checker for C# (
PDF )
Thuan Quang Huynh and Abhik Roychoudhury, Formal Methods (FM)
2006, Springer Verlag.
[ISoLA] Synthesis and Traceability of Scenario-based Executable Models (
PDF )
Ankit
Goel and Abhik Roychoudhury
Invited
Paper, Intl. Symp. on Leveraging Applications of Formal Methods, Verification
and Validation (ISoLA) 2006, IEEE Press
[ICSE] Interacting
Process Classes (
PDF)
Ankit Goel, Sun Meng, Abhik Roychoudhury and P.S. Thiagarajan
ACM International Conference on Software Engineering (ICSE) 2006.
This is the
original conference version.
2005
[ASE] Automated Path Generation for Software Fault Localization
( PDF )
Tao Wang and Abhik Roychoudhury (Short
Paper)
ACM/IEEE Intl. Conf. on Automated Software Engineering (ASE) 2005.
2004
[ICSE] Using Compressed Bytecode Traces for Slicing Java Programs, (
PDF
)
Tao Wang and Abhik Roychoudhury
ACM/IEEE International Conference on Software Engineering (ICSE) 2004.
Impact of Java Memory Model on Out-of-Order Multiprocessors , (
PDF )
Tulika Mitra, Abhik Roychoudhury and Qinghua Shen
IEEE/ACM International Conference on Parallel Architecture and Compilation
Techniques (PACT) 2004.
Symbolic Execution of Behavioral Requirements, (PS)
Tao Wang, Abhik Roychoudhury, Roland H.C. Yap and S.C. Choudhary
International Symposium on Practical Applications of Declarative Languages (PADL)
2004, Springer Verlag, LNCS 3057.
2003
[ASE] Depiction and Playout of Multi-threaded Program Executions, (PS)
Abhik Roychoudhury (Short Paper)
IEEE International Conference on Automated Software Engineering (ASE) 2003.
[PPoPP] Compactly Representing Parallel Program
Executions, (PDF)
Ankit Goel, Abhik Roychoudhury and Tulika Mitra
ACM Symposium on Principles and Practice of Parallel Programming (PPoPP)
2003, pages 191-202.
Communicating Transaction Processes: An MSC-Based Model of Computation for
Reactive Embedded Systems (
PS )
Abhik Roychoudhury, P. S. Thiagarajan
Lectures on Concurrency and Petri Nets 2003, LNCS 3098, pages 789-818
Communicating Transaction Processes,(PS)
Abhik Roychoudhury and P.S. Thiagarajan
IEEE International Conference on Application of Concurrency in System
Design (ACSD) 2003. This is the original conference version.
2002
Formal Reasoning about Hardware and Software Memory Models, (PS)
Abhik Roychoudhury
Intl. Conf. on Formal Engineering Methods (ICFEM)
2002, Springer Verlag, LNCS 2495, pages 423-434.
[ICSE] Specifying Multithreaded Java Semantics for Program Verification, (PS,
PDF)
Abhik Roychoudhury and Tulika Mitra
ACM/IEEE International Conference on Software Engineering (ICSE)
2002, pages 489-499.
An Executable Specification Language based on Message Sequence Charts,
(PS)
Abhik Roychoudhury and P.S. Thiagarajan
10th Anniversary Colloquium of UNU/IIST, Springer Verlag, LNCS 2757, 2002.