NDLI: A Framework for the Automatic Correction of Constraint Programs

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

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation

2012 IEEE Fifth International Conference on Software Testing, Verification and Validation

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation

Table of contents

Message from the general chairs

Message from the program chairs

Steering Committee

Conference Committees

Technical Program Committee

Additional reviewers

Supporters and sponsors

Keynote speakers

Using semi-supervised clustering to improve regression test selection techniques

Applying aggressive propagation-based strategies for testing changes

Regression testing in the presence of non-code changes

Towards a Language and Framework for Penurious Testing

Test Coverage of Data-Centric Dynamic Compositions in Service-Based Systems

Systematic Testing of Database Engines Using a Relational Constraint Solver

Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing

Analysis of Mistakes as a Method to Improve Test Case Design

Exploiting Common Object Usage in Test Case Generation

Assessing Oracle Quality with Checked Coverage

Using Property-Based Oracles when Testing Embedded System Applications

An Empirical Evaluation of Assertions as Oracles

Efficient Mutation Killers in Action

Test Generation for X-machines with Non-terminal States and Priorities of Operations

Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems

It is Not the Length That Matters, It is How You Control It

An Approach for Search Based Testing of Null Pointer Exceptions

An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems

Runtime Verification of Linux Kernel Modules Based on Call Interception

Constraint-Based Program Debugging Using Data Structure Repair

Execution Hijacking: Improving Dynamic Analysis by Flying off Course

Tailored Shielding and Bypass Testing of Web Applications

Using SQL Hotspots in a Prioritization Heuristic for Detecting All Types of Web Application Vulnerabilities

A Study of Usage-Based Navigation Models and Generated Abstract Test Cases for Web Applications

Mutation-Based Test Generation from Security Protocols in HLPSL

Mutation Testing of "Go-Back" Functions Based on Pushdown Automata

Inferential Checking for Mutants Modifying Database States

Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems

Conformance Testing from Message Sequence Charts

Security Model Evolution of PHP Web Applications

EFindBugs: Effective Error Ranking for FindBugs

Multicore SDK: A Practical and Efficient Deadlock Detector for Real-World Applications

A Framework for the Automatic Correction of Constraint Programs

Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection

Factors Limiting Industrial Adoption of Test Driven Development: A Systematic Review

An Empirical Study on the Relation between Dependency Neighborhoods and Failures

CRANE: Failure Prediction, Change Analysis and Test Prioritization in Practice -- Experiences from Windows

Improving Regression Testing Transparency and Efficiency with History-Based Prioritization -- An Industrial Case Study

Experiences of System-Level Model-Based GUI Testing of an Android Application

Model Checking a TTCAN Implementation

A Systematic Test Case Generation Approach for Testing Message Length Variability

Why are Bug Reports Invalid?

Risk-Based Security Testing in Cloud Computing Environments

Towards Software Quality and User Satisfaction through User Interfaces

Testing Resource Usage in Home Automation Systems

On the Improvement of the Mutation Score Using Distinguishing Test Cases

Finding Software Vulnerabilities by Smart Fuzzing

Providing a Software Quality Framework for Testing of Mobile Applications

SoftwareHardware Hybrid Systems Verification

Cost Optimizations in Runtime Testing and Diagnosis of Systems of Systems

A Framework to Test Advanced Web Services Transactions

Publisher Information

2010 Third International Conference on Software Testing, Verification and Validation

2009 International Conference on Software Testing Verification and Validation

2008 1st International Conference on Software Testing, Verification, and Validation

A Framework for the Automatic Correction of Constraint Programs

Content Provider	IEEE Xplore Digital Library
Author	Lazaar, N. Gotlieb, A. Lebbah, Y.
Copyright Year	2011
Abstract	Constraint programs, such as those written in high-level constraint modelling languages, e.g., OPL (Optimization Programming Language), COMET, ZINC or ESSENCE, are more and more used in business-critical programs. As any other critical programs, they require to be thoroughly tested and corrected to prevent catastrophic loss of money. This paper presents a framework for the automatic correction of constraint programs that takes into account the specificity of the software development process of these programs as well as their typical faults. We implemented this framework in our testing platform CPTEST for OPL programs. Using mutation testing, our experimental results show that well-known constraint programs written in OPL can be automatically corrected using our framework.
Starting Page	319
Ending Page	326
File Size	915498
Page Count	8
File Format	PDF
ISBN	9781612841748
DOI	10.1109/ICST.2011.41
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2011-03-21
Publisher Place	Germany
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Software testing Computational modeling Programming Software Space exploration Optimization
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

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