Lan Lin
Assistant Professor

Office: RB 446

Department of Computer Science

Robert Bell Building (RB), Room 455

Ball State University

Muncie, IN 47306

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


CS 124 - Discrete Structures                                           Spring 2014

CS 496/498 - Software Engineering 2                                Spring 2014, Spring 2013

CS 495 - Software Engineering 1                                      Fall 2013, Fall 2012


  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.
  1. 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 43 (3) (2013) 414-449.
  1. L. Lin, S. J. Prowell, J. H. Poore, An axiom system for sequence-based specification, Theoretical Computer Science 411 (2) (2010) 360-376.
  1. 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.
  1. 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, S. J. Prowell, A greedy reliability estimator for usage-based statistical testing, in: Proceedings of the 5th IEEE International Conference on Software Engineering and Service Science (ICSESS), Beijing, China, 2014, to appear.
  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.
  1. 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.
  1. 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.
  1. 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.
  1. 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.
  1. 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)