Research Projects by Lan Lin

DateProject TitleReport
Type
UniversityReporting
2018-11How Far Could Mathematics and Rigor Take Us?StatusBall StateSummary
Report
Presentation
2017-11Quantifying Software Quality through Rigorous Testing and Test Automation: From Theory to PracticeFinalBall StateSummary
Report
Presentation
Poster
2015-11Towards Scalable Modeling for Rigorous Software Specification and Testing StatusBall State
2014-05Combining Rigorous Specification and Testing Methodologies to Achieve High Quality AssuranceStatusBall State