|
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 |
