Stacy Prowell is a senior member of the CERT technical staff, and chief scientist of STAR*Lab. He is an expert in the function-theoretic foundations of software, and is currently conducting research and development for function extraction technology. Prowell has managed both commercial and academic software development projects and consulted on design, development, and testing of applications ranging from consumer electronics to medical scanners, from small embedded real-time systems to very large distributed applications.

Prior to joining the SEI in 2005, Prowell was a research professor at the University of Tennessee. To support wider adoption of rigorous methods in industry, he started the Experimentation, Simulation, and Prototyping (ESP) project at the University of Tennessee, which develops software libraries and tools to support application of model-based testing and sequence-based specification. Software developed by this program is in use by over 30 organizations. Prior to working at the university, he served as a consultant in the software industry. His research interests include rigorous software specification methods, automated statistical testing, and function-theoretic analysis of program behavior. Prowell holds a PhD in Computer Science from the University of Tennessee and is a member of the ACM, IEEE, and Sigma Xi.

research interests

Prowell's research interests include rigorous software specification methods, automated atatistical testing, function-theoretic program behavior analysis, and real-time and embedded systems.

recent publications

• Prowell, S. & Poore, J. "Reliability Computation for Usage-Based Testing." Modern Statistical and Mathematical Methods in Reliability. Vol. 10, Series on Quality, Reliability and Engineering Statistics. Editors: Wilson, A., Limnios, N., Keller-McNulty, S, & Armijo, Y. Hackensack, NJ: World Scientific Publishing, 2005. (ISBN: 981-256-356-3). Amazon.com
• "Sequence-Based Software Specification of Critical Software Systems" (with W. Swain), American Nuclear Society NPIC & HMIT, Columbus, OH, Sept. 2004. ANS
• "Computing System Reliability Using Markov Chain Usage Models" (with J. Poore), Journal of Systems and Software, 73(2):219--225, Sept. 2004. ScienceDirect
• "A Cost-Benefit Stopping Criterion for Statistical Testing," 37th Annual Hawaii International Conference on System Sciences (HICSS'37), Kona, HI, Jan. 2004.  IEEE
• "Foundations of Sequence-Based Software Specification," IEEE Transactions on Software Engineering, 29(5):417--429, May 2003.  IEEE
• Cleanroom Software Engineering: Technology and Process (with C. Trammell, R. Linger, and J. Poore), Addison-Wesley, 1999, ISBN 0-201-85480-5.  Amazon.com

links

• CERT/CC research
• Dr. Prowell's CMU Page
• Dr. Prowell's University of Tennessee page
• Pages on: specification, testing, cleanroom