My Account | Careers | Downloads | Blog

PROJECT TITLE :

Automatically Generating Test Cases for Specification Mining

ABSTRACT:

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 : Measuring Fitness and Precision of Automatically Discovered Process Models: A Principled and Scalable Approach ABSTRACT: We are able to generate a process model by using automated process discovery techniques,
PROJECT TITLE : Automatic Detection of Aortic Valve Events Using Deep Neural Networks on Cardiac Signals From Epicardially Placed Accelerometer ABSTRACT: The use of miniature accelerometers that are incorporated into pacing
PROJECT TITLE : Automatic assessment of Pectus Excavatum severity from CT images using deep learning ABSTRACT: Pectus excavatum (PE) is the most common abnormality of the thoracic cage. The severity of PE is determined by extracting
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

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

Project Enquiry