|
ReqsCov: A Tool for Measuring Test-Adequacy over Requirements |
Matt Staats
Weijia Deng
Ajitha Rajan
Mats Heimdahl
Kurt Woodham |
September 2008 |
23rd IEEE/ACM International Conference on Automated Software Engineering (ASE'08) |
Critical Systems Research Group |
 ase08-reqscov-tool.pdf |
|
FixBag: A Fixpoint Calculator for Quantified Bag Constraints |
Hung T. Pham
Minh-Thai Trinh
Anh-Hoang Truong
Wei-Ngan Chin |
July 2011 |
23rd International Conference onComputer Aided Verification (CAV'11) |
Critical Systems Research Group |
cav11.pdf |
|
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts |
Andreas Katis
Grigory Fedyukovich
Huajun Guo
Andrew Gacek
John Backes
Arie Gurfinkel
Dr. Michael Whalen, Ph.D. |
March 2018 |
24th International Conference onTools and Algorithms for the Construction and Analysis of Systems (TACAS 2018) |
Critical Systems Research Group |
document.pdf |
|
On the Use of Relevance Feedback in IR-based Concept Location |
Gregory Gay
Sonia Haiduc
Andrian Marcus
Tim Menzies, Ph.D. |
September 2009 |
25th IEEE International Conference on Software Maintenance (ICSM 2009) |
Critical Systems Research Group |
09rel.pdf |
|
The Influence of Multiple Artifacts on the Effectiveness of Software Testing |
Matt Staats |
September 2010 |
25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010) |
Critical Systems Research Group |
ase23ds-staats.pdf |
|
An Empirical Study on the Effectiveness of Time-Aware Test Case Prioritization Techniques |
Dongjiang You |
March 2011 |
26th ACM Symposium On Applied Computing, Taichung, Taiwan, March 2011. |
|
you-sac11.pdf |
|
Efficient Observability-based Test Generation by Dynamic Symbolic Execution |
Dongjiang You
Sanjai Rayadurgam
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
Gregory Gay |
November 2015 |
26th International Symposium on Software Reliability Engineering, Gaithersburg, Maryland, November 2015. |
Critical Systems Research Group |
you-issre15.pdf |
|
Improving the Accuracy of Oracle Verdicts Through Automated Model Steering |
Gregory Gay
Sanjai Rayadurgam
Mats Heimdahl |
September 2014 |
29th ACM/IEEE International Conference on Automated Software Engineering (ASE'14). Vasteras, Sweden, September 2014. |
Critical Systems Research Group |
14ase.pdf |
|
Verifiable Parse Table Composition for Deterministic Parsing |
August Schwerdfeger
Eric Van Wyk |
October 2009 |
2nd International Conference on Software Language Engineering |
Minnesota Extensible Language Tools |
sle.pdf |
|
Executing Model-based Tests on Platform-specific Implementations |
Dongjiang You
Sanjai Rayadurgam
Mats Heimdahl
John Komp
Baek-Gyu Kim
Oleg Sokolsky |
November 2015 |
30th International Conference on Automated Software Engineering, Lincoln, Nebraska, November 2015. |
Critical Systems Research Group |
you-ase15.pdf |
