Lan Lin Lan Lin
Research Scientist I

E-mail: lin@eecs.utk.edu
Office Phone: +1 (865) 974 8733
Office: MK 318

Ph.D., University of Tennessee (2006); M.Sc., University of British Columbia (2001); B.Sc., Nanjing University of Aeronautics and Astronautics (1996) .

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

Research Interests

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

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. 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. 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.