About Ben
Ben Smith is a third year PhD student in Computer Science at North Carolina State University working as a research assistant with Dr. Laurie Williams. He is a recipient of the IBM PhD Fellowship. He received his Bachelor's in Computer Science in May of 2007, and received his Master's of Science in Computer Science in May of 2009, and he hopes to receive his doctorate some time in 2012.
This spring, Ben will continue work on measuring software security; more detail can be found in his ESSoS 2010 Paper on the subject. He will also be working on establishing an evaluation criteria for open source medical records applications through a partnership with IBM. Finally, to further expose himself to the literature in the software engineering field, Ben will participate in the NC State Software Engineering Journal Club.
This past summer, Ben interned at IBM's Research Triangle Park location, helping to develop cloud computing solutions. This past spring, he worked as a Testing Manager for the NCSU CSC Senior Design Center (North Carolina State's capstone course for CSC). He has also written an open source plugin, MuClipse which incorporates mutation testing into the popular IDE Eclipse. He has published an extended work on an empirical user study with Mutation Analysis tools to the Journal of Systems and Software. Additionally, he has designed and created the website for ESEM 2009, and written and collaborated several tutorials for open source (and proprietary) software development tools.
Extracurricular
Ben also enjoys playing Jazz Piano and has participated in many bands over the years, including the NC State Jazz Combo (2003-2009) and NC State Jazz Big Bands (I, II and III, 2003-2005). The NC State Jazz Combo has provided background music for many events, such as the Park Scholar's dinner, and this year's visit by President William Jefferson Clinton. He has also sat in with the Raleigh Jazz Orchestra. He plays many North Carolina State functions, including the Park Scholar's dinner, the Hood award dinner, the Founder's Day Dinner, sthe Menscer Cup, and the NC State Athletic Convention. Whereas computer science acts as Ben's scientific, mathematical foundation; music offers him a chance to be creative, social and collaborative. Many of Ben's musical products are contained on a web application he wrote called BINK!
Research
Journal Papers |
||||
 |
 |
B. Smith and L. Williams, "On Guiding the Augmentation of an Automated Test Suite via Mutation Analysis", Empirical Software Engineering, vol. 14, no. 3, pp. 341-369, 2009. | ||
|
|
B.H. Smith and L. Williams, "Should Software Testers use Mutation Analysis to Augment a Test Set?", Journal of Systems Software, vol. 82, no. 11, pp. 1819-1832, 2009. | ||
Conferences/Workshops |
||||
|
|
A. Austin, B. Smith, and L. Williams, "Towards Improved Security Criteria for Certification of Electronic Health Record Systems". Proceedings of the Second Workshop on Software Engineering in Healthcare (SEHC), Cape Town, South Africa, 2010. | ||
|
|
 |
B. Smith, L. Williams, A. Austin, "Idea: Using System Level Testing for Revealing SQL Injection-Related Error Message Information Leaks", Lecture Notes in Computer Science, vol. 5965, Engineering Secure Software and Systems (ESSoS 2010), pp. 192-200, 2010. | |
|
|
 |
B. Smith, "Metrics validation criteria: How do we know when a metric is worthwhile?" Presented at Workshop on Security Predictions, Pisa, Italy, 2010. | |
|
|
|
B. Smith, Y. Shin, and L. Williams, "Proposing SQL Statement Coverage Metrics", Proceedings of the Fourth International Workshop on Software Engineering for Secure Systems (SESS 2008), pp. 49-56, 2008. | |
|
|
|
B. H. Smith and L. Williams, "An Empirical Evaluation of the MuJava Mutation Operators", Testing: Academic and Industrial Conference Practice and Research Techniques (MUTATION 2007). TAICPART-MUTATION 2007, pp. 193-202, 2007. | |
Posters |
||||
|
B. Smith and L. Williams, "Only Grey Box Testing Can Detect Input Validation and Error Message Information Leakage Vulnerabilities", presented at State of the Art in Testing and Analysis Day (SATA), March 2009. | |||
Technical Reports |
||||
|
A. Meneely, B. Smith, and L. Williams, "Software Metrics Validation Criteria: A Systematic Literature Review". North Carolina State University, Technical Report #2010-2. | |||
|
Smith B. and Williams, "A Survey on Code Coverage as a Stopping Criterion for Unit Testing", North Carolina State University, Technical Report #2008-22. | |||
Service
Reviewing Service: Conferences |
Conference Organization
Reviewing Service: Journals |