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 |