A DSL for cross-domain security |
David Hardin Konrad Slind Michael Whalen Hung T. Pham |
December 2012 |
|
Critical Systems Research Group |
guardol_hilt_2012.pdf |
Hierarchical Circular Compositional Reasoning |
Andrew Gacek Andreas Katis Michael Whalen Darren Cofer |
March 2014 |
|
Critical Systems Research Group |
main.pdf |
A flexible and non-intrusive approach for computing complex structural coverage metrics |
Michael Whalen Suzette Person, Ph.D. Dr. Neha Rungta Matt Staats Daniella Grijincu |
May 2015 |
|
Critical Systems Research Group |
ICSE_cov_metrics.pdf |
Domain Modeling for Development Process Simulation |
Ian De Silva Sanjai Rayadurgam Mats Heimdahl |
July 2017 |
|
Critical Systems Research Group |
ICSSP2017 - Domain Modeling for Development Process Simulation |
A Reference Model for Simulating Agile Processes |
Ian De Silva Sanjai Rayadurgam Mats Heimdahl |
June 2015 |
The International Conference on Software and System Process (ICSSP) 2015 |
Critical Systems Research Group |
ICSSP2015-ReferenceModel-authorCopy.pdf |
Model Validation using Automatically Generated Requirements-Based Tests |
Ajitha Rajan Michael Whalen Mats Heimdahl |
November 2007 |
10th IEEE High Assurance Systems Engineering Symposium (HASE '07) |
Critical Systems Research Group |
rajanA-ModelValidation.pdf |
Behavioral Fault Modeling for Model-based Safety Analysis |
Anjali Joshi Mats Heimdahl |
November 2007 |
10th IEEE High Assurance Systems Engineering Symposium (HASE '07) |
Critical Systems Research Group |
HASE07-Main.pdf |
Partial Translation Verification for Untrusted Code-Generators |
Matt Staats Mats Heimdahl |
October 2008 |
10th International Conference on Formal Methods and Software Engineering (ICFEM '08) |
Critical Systems Research Group |
main.pdf |
A Simulation Study on Some Search Algorithms for Regression Test Case Prioritization |
Dongjiang You |
July 2010 |
10th International Conference on Quality Software, Zhangjiajie, China, July 2010. |
|
li-qsic10.pdf |
On the Danger of Coverage Directed Test Case Generation |
Gregory Gay Matt Staats Michael Whalen Mats Heimdahl |
March 2012 |
15th International Conference on Fundamental Approaches to Software Engineering (FASE), Tallinn, Estonia, March 24- April 1, 2012. |
Critical Systems Research Group |
12danger.pdf |