NDLI: Expressing and checking intended changes via software change contracts

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

Expressing and checking intended changes via software change contracts

Content Provider	ACM Digital Library
Author	Roychoudhury, Abhik Tan, Shin Hwei Qi, Dawei Yi, Jooyong
Abstract	Software errors often originate from incorrect changes, including incorrect program fixes, incorrect feature updates and so on. Capturing the intended program behavior explicitly via contracts is thus an attractive proposition. In our recent work, we had espoused the notion of "change contracts" to express the intended program behavior changes across program versions. Change contracts differ from program contracts in that they do not require the programmer to describe the intended behavior of program features which are unchanged across program versions. In this work, we present the formal semantics of our change contract language built on top of the Java Modeling Language (JML). Our change contract language can describe behavioral as well as structural changes. We evaluate the expressivity of the change contract language via a survey given to final year undergraduate students. The survey results enable us to understand the usability of our change contract language for purposes of writing contracts, comprehending written contracts, and modifying programs according to given change contracts. Finally, we discuss the tool support developed for our change contract language. The tool support enables (i) test generation to witness contract violation, as well as (ii) automated repair of certain tests which are broken due to program changes. .
Starting Page	1
Ending Page	11
Page Count	11
File Format	PDF
ISBN	9781450321594
DOI	10.1145/2483760.2483772
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2013-07-15
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Test repair Software changes Dynamic checking Test generation
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

Expressing and checking intended changes via software change contracts.

Software Change Contracts

Software change contracts (2012)

Integration of Requirements Engineering and Test-Case Generation via OSLC

Scaling Model Checking for Test Generation Using Dynamic Inference

The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking

Practical software model checking via dynamic interface reduction

Higher-order test generation

FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation ⋆

Expressing and checking intended changes via software change contracts

Similar Documents

Expressing and checking intended changes via software change contracts.

Software Change Contracts

Software change contracts (2012)

Integration of Requirements Engineering and Test-Case Generation via OSLC

Scaling Model Checking for Test Generation Using Dynamic Inference

The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking

Practical software model checking via dynamic interface reduction

Higher-order test generation

FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation ⋆

Expressing and checking intended changes via software change contracts