Lan Lin
Assistant Professor

E-mail: llin4@bsu.edu
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

  • Software engineering
  • Rigorous software specification
  • Automated model-based statistical testing
  • Automated verification
  • Theoretical computer science
  • Combinatorics

Courses

CS 124 - Discrete Structures                                           Spring 2014

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

CS 495 - Software Engineering 1                                      Fall 2014, Fall 2013, Fall 2012

Grants

  1. Towards Scalable Modeling for Rigorous Software Specification and Testing (single PI), $50,000, Rockwell Collins, Air Force Research Laboratory, and Ontario Systems (through the NSF Security and Software Engineering Research Center), 11/1/14 to 10/31/15.
  1. Combining Rigorous Specification and Testing Methodologies to Achieve High Quality Assurance (single PI), $46,836, Lockheed Martin and Northrop Grumman (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, Edited by J. Zander, I. Schieferdecker, P. J. Mosterman, CRC-Press - Taylor & Francis LLC, 2011, 111-146.

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. He, F. Song, Usage modeling through sequence enumeration for automated statistical testing of a GUI application, in: Proceedings of the 5th IEEE International Conference on Software Engineering and Service Science (ICSESS), Beijing, China, 2014, 82-85.
  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, 86-89.
  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)