Ph.D., University of Tennessee (2006); M.Sc., University of British Columbia (2001).

Ph.D. Advisor: Dr. Jesse H. Poore

Research Interests

• Rigorous software specification
• Automated statistical testing
• Theoretical computer science
• Combinatorics

Courses

CS 496/498 - Software Engineering 2                               Spring 2013

CS 495 - Software Engineering 1                                     Fall 2012

Grants

1. Combining Rigorous Specification and Testing Methodologies to Achieve High Quality Assurance (single PI), $46,836, Northrop Grumman Corporation and Lockheed Martin Corporation (through the NSF Security and Software Engineering Research Center), 1/1/13 to 12/31/13.

2. Towards Scalable Methods for Rigorous Software Specification and Testing (single PI), $1,500, the ASPiRE New Faculty Start-Up Program, Ball State University, 11/1/12 to 12/31/13.

Book Chapters

1. J. H. Poore, L. Lin, R. Eschbach, T. Bauer, Automated statistical testing for embedded systems, in: Model-Based Testing for Embedded Systems in the Series on Computational Analysis, Synthesis, and Design of Dynamic Systems, CRC-Press - Taylor & Francis LLC, 2011.

Journal Publications

1. R. Eschbach, L. Lin, J. H. Poore, Applying string-rewriting to sequence-based specification, Formal Methods in System Design, in press.

2. L. Lin, S. J. Prowell, J. H. Poore, An axiom system for sequence-based specification, Theoretical Computer Science 411 (2) (2010) 360-376.

3. L. Lin, S. J. Prowell, J. H. Poore, The impact of requirements changes on specifications and state machines, Software - Practice and Experience 39 (6) (2009) 573-610.

4. L. Lin, J. H. Poore, Pushing requirements changes through to changes in specifications, Frontiers of Computer Science in China 2 (4) (2008) 331-343. (Extended paper selected from TASE 2008)

Conference Publications

1. L. Lin, J. H. Poore, R. Eschbach, R. M. Hierons, C. Robinson-Mallett, Augmenting sequence enumeration with string-rewriting for requirements analysis and behavioral specification, in: Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE), Rome, Italy, Lecture Notes in Computer Science Volume 7793, 2013, 179-193.

2. T. W. Swain, J. M. Carter, C. J. Trammell, L. Lin, A course on software engineering for safety-related systems, in: Proceedings of the 7th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies (NPIC & HMIT), Las Vegas, NV, 2010.

3. L. Lin, J. M. Carter, J. H. Poore, Using state machines to model and manage requirements changes and specification changes, in: Proceedings of the 51st IEEE International Midwest Symposium on Circuits and Systems (MWSCAS), Knoxville, TN, 2008, 523-526.

4. L. Lin, J. H. Poore, Pushing requirements changes through to changes in specifications, in: Proceedings of the 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), Nanjing, China, 2008, 289-296.

5. J. M. Carter, L. Lin, J. H. Poore, Automated functional testing of Simulink control models, in: Proceedings of the 1st Workshop on Model-Based Testing in Practice (MOTIP), Berlin, Germany, 2008, 41-50.

6. M. A. Langston, L. Lin, X. Peng, N. E. Baldwin, C. T. Symons, B. Zhang, A combinatorial approach to the analysis of differential gene expression data, in: Proceedings of the 4th International Conference for the Critical Assessment of Microarray Data Analysis (CAMDA), Durham, NC, 2003, 223-238.

Invited Talks

Management of Requirements Changes in Sequence-Based Software Specifications, Indiana University-Purdue University Indianapolis, Department of Computer and Information Science Spring Colloquium Series, February 15, 2013.

Professional Service

Program Committee, The 4th Workshop on Model-Based Testing in Practice (MoTiP 2012)

Program Committee, The 7th Workshop on Advances in Model-Based Testing (A-MOST 2011)