publication venue for Weaving an Assurance Case from Design: A Model-Based Approach 2015 Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems 2007
