NDLI logo
  • Content
  • Similar Resources
  • Metadata
  • Cite This
  • Log-in
  • Fullscreen
Log-in
Do not have an account? Register Now
Forgot your password? Account recovery
  1. Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering (ESEC/FSE '11)
  2. Proving programs robust
Loading...

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

Building advanced mechatronic systems
Don't touch my code!: examining the effects of ownership on software quality
CSSL: a logic for specifying conditional scenarios
The onion patch: migration in open source ecosystems
Proving programs robust
Partial replay of long-running applications
Proactive detection of collaboration conflicts
Testing software in age of data privacy: a balancing act
Taming uncertainty in self-adaptive software
Leveraging existing instrumentation to automatically infer invariant-constrained models
High-impact defects: a study of breakage and surprise defects
Inferring data polymorphism in systems code
On the congruence of modularity and code coupling
Mining development repositories to study the impact of collaboration on software systems
Experimental specification mining for enterprise applications
Automatic test suite evolution
QoS verification and model tuning @ runtime
EvoSuite: automatic test suite generation for object-oriented software
Crystal: precise and unobtrusive conflict warnings
Using social media to study the diversity of example usage among professional developers
Stateful breakpoints: a practical approach to defining parameterized runtime monitors
Workshop on assurances for self-adaptive systems (ASAS 2011)
Software architecture: reflections on an evolving discipline
ReLink: recovering links between bugs and changes
Using an SMT solver for interactive requirements prioritization
Does adding manpower also affect quality?: an empirical, longitudinal analysis
Checking conformance of a producer and a consumer
Mitigating the confounding effects of program dependences for effective fault localization
ADDiff: semantic differencing for activity diagrams
Strong higher order mutation-based test data generation
Version-consistent dynamic reconfiguration of component-based distributed systems
Path exploration based on symbolic output
Micro interaction metrics for defect prediction
Boosting the performance of flow-sensitive points-to analysis using value flow
Fuzzy set and cache-based approach for bug triaging
Reputation-based self-management of software process artifact quality in consortium research projects
Search based hierarchy generation for reverse engineered state machines
Automatic structural testing with abstraction refinement and coarsening
A software lifecycle process for context-aware adaptive systems
SCORE: a scalable concolic testing tool for reliable embedded software
Synoptic: studying logged behavior with inferred models
Social sensing: when users become monitors
Finding bugs by isolating unit tests
IWPSE-EVOL 2011: 12th international workshop on principles on software evolution and 7th ERCIM workshop on software evolution
ELI-ALPS: the ultrafast challenges in Hungary
How do fixes become bugs?
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications
Effective communication of software development knowledge through community portals
Managing performance vs. accuracy trade-offs with loop perforation
Fault localization for data-centric programs
Semistructured merge: rethinking merge in revision control systems
Improved multithreaded unit testing
On software component co-installability
Synthesizing data structure manipulations from storyboards
BugCache for inspections: hit or miss?
An architecture-centric approach for goal-driven requirements elicitation
Understanding failures through facts
SMutant: a tool for type-sensitive mutation testing in a dynamic language
Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking
Cross-library API recommendation using web search engines
Inferring test results for dynamic software product lines
PASTE'11: Proceedings of the 10th ACM sigplan-sigsoft workshop on program analysis for software tools and engineering
jStar-eclipse: an IDE for automated verification of Java programs
Tool support for UML-based specification and verification of role-based access control properties
Exploiting software architecture to support requirements satisfaction testing
New ideas track: testing mapreduce-style programs
The 4th international workshop on social software engineering (SSE'11)
Static deep error checking in large system applications using parfait
SafeSlice: a model slicing and design safety inspection tool for SysML
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty
Join point interfaces for modular reasoning in aspect-oriented programs
8th international workshop on software quality (WoSQ)
Querypoint: moving backwards on wrong values in the buggy execution
Design and validation of feature-based process model tailoring: a sample implementation of PDE
Probabilistic dataflow analysis using path profiles on structure graphs
Sydit: creating and applying a program transformation from an example
PSPWizard: machine-assisted definition of temporal logical properties with specification patterns

Similar Documents

...
Continuity analysis of programs

Article

...
Continuity analysis of programs

Article

...
Proving Programs Robust ∗

...
Proving programs robust (2011)

...
Sensitivity Analysis in Nonlinear Programs and Variational Inequalities via Continuous Selections

Article

...
Robust Performance Analysis for Linear Slowly Time-Varying Perturbations

Article

...
Robust control of wave energy converters

Article

...
Robust performance with respect to diagonal input uncertainty

Article

...
A semantic account of metric preservation

Article

Proving programs robust

Content Provider ACM Digital Library
Author Navidpour, Sara Chaudhuri, Swarat Lublinerman, Roberto Gulwani, Sumit
Abstract We present a program analysis for verifying quantitative robustness properties of programs, stated generally as: "If the inputs of a program are perturbed by an arbitrary amount epsilon, then its outputs change at most by (K . epsilon), where K can depend on the size of the input but not its value." Robustness properties generalize the analytic notion of continuity---e.g., while the function $e^{x}$ is continuous, it is not robust. Our problem is to verify the robustness of a function P that is coded as an imperative program, and can use diverse data types and features such as branches and loops. Our approach to the problem soundly decomposes it into two subproblems: (a) verifying that the smallest possible perturbations to the inputs of P do not change the corresponding outputs significantly, even if control now flows along a different control path; and (b) verifying the robustness of the computation along each control-flow path of P. To solve the former subproblem, we build on an existing method for verifying that a program encodes a continuous function [5]. The latter is solved using a static analysis that bounds the magnitude of the slope of any function computed by a control flow path of P. The outcome is a sound program analysis for robustness that uses proof obligations which do not refer to epsilon-changes and can often be fully automated using off-the-shelf SMT-solvers. We identify three application domains for our analysis. First, our analysis can be used to guarantee the predictable execution of embedded control software, whose inputs come from physical sources and can suffer from error and uncertainty. A guarantee of robustness ensures that the system does not react disproportionately to such uncertainty. Second, our analysis is directly applicable to approximate computation, and can be used to provide foundations for a recently-proposed program approximation scheme called {loop perforation}. A third application is in database privacy: proofs of robustness of queries are essential to differential privacy, the most popular notion of privacy for statistical databases.
Starting Page 102
Ending Page 112
Page Count 11
File Format PDF
ISBN 9781450304436
DOI 10.1145/2025113.2025131
Language English
Publisher Association for Computing Machinery (ACM)
Publisher Date 2011-09-05
Publisher Place New York
Access Restriction Subscribed
Subject Keyword Sensitivity Uncertainty Quantitative program analysis Continuity Robustness Perturbations Lipschitz Program approximation
Content Type Text
Resource Type Article
  • About
  • Disclaimer
  • Feedback
  • Sponsor
  • Contact
  • Chat with Us
About National Digital Library of India (NDLI)
NDLI logo

National Digital Library of India (NDLI) is a virtual repository of learning resources which is not just a repository with search/browse facilities but provides a host of services for the learner community. It is sponsored and mentored by Ministry of Education, Government of India, through its National Mission on Education through Information and Communication Technology (NMEICT). Filtered and federated searching is employed to facilitate focused searching so that learners can find the right resource with least effort and in minimum time. NDLI provides user group-specific services such as Examination Preparatory for School and College students and job aspirants. Services for Researchers and general learners are also provided. NDLI is designed to hold content of any language and provides interface support for 10 most widely used Indian languages. It is built to provide support for all academic levels including researchers and life-long learners, all disciplines, all popular forms of access devices and differently-abled learners. It is designed to enable people to learn and prepare from best practices from all over the world and to facilitate researchers to perform inter-linked exploration from multiple sources. It is developed, operated and maintained from Indian Institute of Technology Kharagpur.

Learn more about this project from here.

Disclaimer

NDLI is a conglomeration of freely available or institutionally contributed or donated or publisher managed contents. Almost all these contents are hosted and accessed from respective sources. The responsibility for authenticity, relevance, completeness, accuracy, reliability and suitability of these contents rests with the respective organization and NDLI has no responsibility or liability for these. Every effort is made to keep the NDLI portal up and running smoothly unless there are some unavoidable technical issues.

Feedback

Sponsor

Ministry of Education, through its National Mission on Education through Information and Communication Technology (NMEICT), has sponsored and funded the National Digital Library of India (NDLI) project.

Contact National Digital Library of India
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
I will try my best to help you...
Cite this Content
Loading...