Automatically Generating Test Cases for Specification Mining


Dynamic specification mining observes program executions to infer models of normal program behavior. What makes us believe that we have seen sufficiently many executions? The TAUTOKO (“Tautoko” is the Mãori word for “enhance, enrich.”) typestate miner generates test cases that cover previously unobserved behavior, systematically extending the execution space, and enriching the specification. To our knowledge, this is the first combination of systematic test case generation and typestate mining—a combination with clear benefits: On a sample of 800 defects seeded into six Java subjects, a static typestate verifier fed with enriched models would report significantly more true positives and significantly fewer false positives than the initial models.

Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here

PROJECT TITLE :Selecting Interesting Image Regions to Automatically Create CinemagraphsABSTRACT:A cinemagraph may be a novel medium that infuses a static image with the dynamics of one or several explicit image regions. It is
PROJECT TITLE :An Efficient and Robust Method for Automatically Identifying the Left Ventricular Boundary in Cine Magnetic Resonance ImagesABSTRACT:Economical and strong identification of the left ventricular borders remains a
PROJECT TITLE :TAIEX Forecasting Using Fuzzy Time Series and Automatically Generated Weights of Multiple FactorsABSTRACT:In this paper, we gift a new method to forecast the Taiwan Stock Exchange Capitalization Weighted Stock Index
PROJECT TITLE :Word Sense Disambiguation with Automatically Acquired KnowledgeABSTRACT :This article describes an automatic word sense disambiguation technique—determining which word sense fits in a very given context—that

Ready to Complete Your Academic MTech Project Work In Affordable Price ?

Project Enquiry