NDLI: Hybrid learning: interface generation through static, dynamic, and symbolic analysis

Please wait, while we are loading the content...

Expressing and checking intended changes via software change contracts

Efficient and flexible GUI test execution via test merging

Calculating source line level energy information for Android applications

Dynamically validating static memory leak warnings

Variable and thread bounding for systematic testing of multithreaded programs

Using automated program repair for evaluating the effectiveness of fault localization techniques

Selective mutation testing for concurrent code

Orthogonal exploration of the search space in evolutionary test case generation

Does automated white-box test generation really help software testers?

An empirical study of PHP feature usage: a static analysis perspective

Debugging non-deadlock concurrency bugs

Generation of test databases using sampling methods

Product-line verification with feature-oriented contracts

Finding rare numerical stability errors in concurrent computations

Automatically repairing broken workflows for evolving GUI applications

Context-sensitive delta inference for identifying workload-dependent performance bottlenecks

Collecting a heap of shapes

EnforceMOP: a runtime property enforcement system for multithreaded programs

Data model property inference and repair

Faster mutation testing inspired by test prioritization and reduction

Hybrid learning: interface generation through static, dynamic, and symbolic analysis

Comparing non-adequate test suites using coverage criteria

Practical blended taint analysis for JavaScript

Generation of Java programs properties from test purposes

Analysis of performance regression testing data by transaction profiles

Formal safety proof: a real case study in a railway interlocking system

Parallel bounded analysis in code with rich invariants by refinement of field bounds

Semi-valid input coverage for fuzz testing

Combining model checking and testing with an application to reliability prediction and distribution

Griffin: grouping suspicious memory-access patterns to improve understanding of concurrency bugs

SimRacer: an automated framework to support testing for process-level races

F3: fault localization for field failures

Declarative mocking

Optimizing monitoring of finite state properties through monitor compaction

Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators

Finding your way in the testing jungle: a learning approach to web security testing

Automated testing with targeted event sequence generation

Practical static race detection for Java parallel loops

Hybrid learning: interface generation through static, dynamic, and symbolic analysis

Content Provider	ACM Digital Library
Author	Rakamarić, Zvonimir Giannakopoulou, Dimitra Howar, Falk
Abstract	This paper addresses the problem of efficient generation of component interfaces through learning. Given a white-box component C with specified unsafe states, an interface captures safe orderings of invocations of C's public methods. In previous work we presented Psyco, an interface generation framework that combines automata learning with symbolic component analysis: learning drives the framework in exploring different combinations of method invocations, and symbolic analysis computes method guards corresponding to constraints on the method parameters for safe execution. In this work we propose solutions to the two main bottlenecks of Psyco. The explosion of method sequences that learning generates to validate its computed interfaces is reduced through partial order reduction resulting from a static analysis of the component. To avoid scalability issues associated with symbolic analysis, we propose novel algorithms that are primarily based on dynamic, concrete component execution, while resorting to symbolic analysis on a limited, as needed, basis. Dynamic execution enables the introduction of a concept of state matching, based on which our proposed approach detects, in some cases, that it has exhausted the exploration of all component behaviors. On the other hand, symbolic analysis is enhanced with symbolic summaries. Our new approach, X-Psyco, has been implemented in the Java PathFinder (JPF) software model checking platform. We demonstrated the effectiveness of X-Psyco on a number of realistic software components by generating more complete and precise interfaces than was previously possible. .
Starting Page	268
Ending Page	279
Page Count	12
File Format	PDF
ISBN	9781450321594
DOI	10.1145/2483760.2483783
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2013-07-15
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Interfaces Learning Concolic execution Dynamic analysis Static analysis Software components
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Towards Language Independent Dynamic Symbolic Execution

A Late Treatment of C Precondition in Dynamic Symbolic Execution

RELEASE: Generating Exploits Using Loop-Aware Concolic Execution

Handling dynamic data structures in search based testing

A Search Strategy Guided by Uncovered Branches for Concolic Testing

Automated Security Analysis of Dynamic Web Applications through Symbolic Code Execution

Dynamic symbolic execution for polymorphism

MultiSE: multi-path symbolic execution using value summaries

Dyta: dynamic symbolic execution guided with static verification results (2011)

Hybrid learning: interface generation through static, dynamic, and symbolic analysis

Similar Documents

Towards Language Independent Dynamic Symbolic Execution

A Late Treatment of C Precondition in Dynamic Symbolic Execution

RELEASE: Generating Exploits Using Loop-Aware Concolic Execution

Handling dynamic data structures in search based testing

A Search Strategy Guided by Uncovered Branches for Concolic Testing

Automated Security Analysis of Dynamic Web Applications through Symbolic Code Execution

Dynamic symbolic execution for polymorphism

MultiSE: multi-path symbolic execution using value summaries

Dyta: dynamic symbolic execution guided with static verification results (2011)

Hybrid learning: interface generation through static, dynamic, and symbolic analysis