| 2003 |
|---|
| 15 | EE | Mats Per Erik Heimdahl,
Sanjai Rayadurgam,
Willem Visser,
George Devaraj,
Jimin Gao:
Auto-generating Test Sequences Using Model Checkers: A Case Study.
FATES 2003: 42-59 |
| 14 | EE | Sanjai Rayadurgam,
Anjali Joshi,
Mats Per Erik Heimdahl:
Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language.
ICFEM 2003: 167-186 |
| 13 | EE | Sanjai Rayadurgam,
Mats Per Erik Heimdahl:
Generating MC/DC Adequate Test Sequences Through Model Checking.
SEW 2003: 91 |
| 2002 |
|---|
| 12 | EE | Yunja Choi,
Sanjai Rayadurgam,
Mats Per Erik Heimdahl:
Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints.
Requir. Eng. 7(4): 225-242 (2002) |
| 2001 |
|---|
| 11 | EE | Sanjai Rayadurgam:
Automated Test-Data Generation from Formal Models of Software.
ASE 2001: 438 |
| 10 | EE | Sanjai Rayadurgam,
Mats Per Erik Heimdahl:
Coverage Based Test-Case Generation Using Model Checkers.
ECBS 2001: 83- |
| 9 | EE | Yunja Choi,
Sanjai Rayadurgam,
Mats Per Erik Heimdahl:
Automatic abstraction for model checking software systems with interrelated numeric constraints.
ESEC / SIGSOFT FSE 2001: 164-174 |
| 8 | | Sanjai Rayadurgam,
Mats Per Erik Heimdahl:
Test-Sequence Generation from Formal Requirement Models.
HASE 2001: 23-31 |
| 1999 |
|---|
| 7 | EE | Wei-Tek Tsai,
Weiguang Shao,
Sanjai Rayadurgam,
Jinbao Li,
Raymond A. Paul:
Assurance-Based Y2K Testing.
HASE 1999: 27-37 |
| 1998 |
|---|
| 6 | EE | Satish Subramanian,
Sanjai Rayadurgam,
Wei-Tek Tsai:
Design for Constraint Violation Detection in Safety-Critical Systems.
HASE 1998: 109-116 |
| 5 | EE | Feng Zhu,
Sanjai Rayadurgam,
Wei-Tek Tsai:
Automating Regression Testing for Real-Time Software in a Distributed Environment.
ISORC 1998: 373-382 |
| 4 | | I-Ling Yen,
Raymond A. Paul,
Victor L. Winter,
John M. Covan,
Larry J. Dalton,
Leon Alkalai,
Ann T. Tai,
Rick Harper,
Barry Flahive,
Wei-Tek Tsai,
Ramin Mojdehbakhsh,
Sanjai Rayadurgam,
Kinji Mori,
Michael R. Lowry:
Key Applications for High-Assurance Systems.
IEEE Computer 31(4): 35-45 (1998) |
| 1997 |
|---|
| 3 | EE | Wei-Tek Tsai,
Ramin Mojdehbakhsh,
Sanjai Rayadurgam:
Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment.
HASE 1997: 32- |
| 1996 |
|---|
| 2 | EE | Xiaoping Chen,
Wei-Tek Tsai,
Hai Huang,
Mustafa H. Poonawala,
Sanjai Rayadurgam,
Yamin Wang:
Omega - an integrated environment for C++ program maintenance.
ICSM 1996: 114- |
| 1 | | Yamin Wang,
Wei-Tek Tsai,
Xiaoping Chen,
Sanjai Rayadurgam:
The Role of Program Slicing in Ripple Effect Analysis.
SEKE 1996: 369-376 |
