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/01/14 to 10/31/15.
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), 01/01/13 to 12/31/13.
Towards Scalable Methods for Rigorous Software Specification and Testing (single PI), $1,500, the ASPiRE New Faculty Start-Up Program, Ball State University, 11/01/12 to 12/31/13.
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.
R. Eschbach, L. Lin, J. H. Poore, Applying string-rewriting to sequence-based specification, Formal Methods in System Design 43 (3) (2013) 414-449.
L. Lin, S. J. Prowell, J. H. Poore, An axiom system for sequence-based specification, Theoretical Computer Science 411 (2) (2010) 360-376.
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.
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)
L. Lin, J. He, Y. Zhang, F. Song, Quality assurance through rigorous software specification and testing: A case study, in: Proceedings of the 2015 International Conference on Soft Computing and Software Engineering (SCSE), Berkeley, CA, 2015, to appear.
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.
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.
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.
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.
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.
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.
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.
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.
Quality Assurance through Rigorous Software Specification and Testing, University of Tennessee, Innovative Computing Laboratory 25 Years of Innovative Computing Workshop, April 2, 2015.
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.
Program Committee, The 7th International Conference on Future Computational Technologies and Applications (Future Computing 2015) Program Committee, The 6th IEEE International Conference on Software Engineering and Service Science (ICSESS 2015)
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)