Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
249
Directed incremental symbolic execution
- In PLDI
, 2011
"... The last few years have seen a resurgence of interest in the use of symbolic execution – a program analysis technique developed more than three decades ago to analyze program execution paths. Scaling symbolic execution and other path-sensitive analysis techniques to large systems remains challenging ..."
Abstract
-
Cited by 30 (8 self)
- Add to MetaCart
The last few years have seen a resurgence of interest in the use of symbolic execution – a program analysis technique developed more than three decades ago to analyze program execution paths. Scaling symbolic execution and other path-sensitive analysis techniques to large systems remains
make test-zesti: A symbolic execution solution for improving regression testing
- IN: PROC. OF THE 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE’12
, 2012
"... Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing methodologies do not take full advantage of these tests. In this paper, we present a technique for amplifying the effect of existing test ..."
Abstract
-
Cited by 15 (6 self)
- Add to MetaCart
(Zero-Effort Symbolic Test Improvement), and applied it to three open-source code bases—GNU Coreutils, libdwarf and readelf—where it found 52 previously unknown bugs, many of which are out of reach of standard symbolic execution. Our technique works transparently to the tester, requiring no additional
Quantifying the Characteristics of Java Programs that May Influence Symbolic Execution from a Test Data Generation Perspective
"... Abstract—Testing plays a key role in assessing the quality of a software product. During testing, a program is run in hopes of finding faults. As exhaustive testing is seldom possible, specific testing criteria have been proposed to help testers to devise test cases that cover the most relevant faul ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
faulty scenarios. Manually creating test cases that satisfy these criteria is time consuming, error prone, and unwieldy. Symbolic execution has been used as an effective way of automatically generating test data that meets those criteria. Although this technique has been used for over three decades
Olive: Sustaining Executable Content Over Decades
"... ABSTRACT We describe a system called Olive that freezes and precisely reproduces the environment necessary to execute software long after its creation. It uses virtual machine (VM) technology to encapsulate legacy software, complete with all its software dependencies. This legacy world can be compl ..."
Abstract
- Add to MetaCart
the software necessary to perform the recalculations. Only three years had elapsed since the original publication of results, and the same version of Microsoft Excel continued to be in widespread use. Imagine, however, that the recalculations were attempted by a researcher 30 years later. Would Microsoft Excel
Energy-Aware Programming Utilizing the SEEP Framework and Symbolic Execution
"... Resource-constrained devices, such as wireless sensor nodes, smart phones, tablet computers, and laptops most notably suffer from the limited amount of energy they have available. Yet, emerging battery technologies addressing this issue were unable to improve the situation significantly. This is wel ..."
Abstract
- Add to MetaCart
. This is well documented by rates of growth in the various technology areas. While clock speed, data storage, and data transfer rates have seen growth rates from factor 10 3 to 10 6 during the last three decades, battery life could merely be improved by a factor of 10 1. At the same time, research efforts led
Behaviourally adequate software testing,”
- in ICST 2012. IEEE,
, 2012
"... Abstract-Identifying a finite test set that adequately captures the essential behaviour of a program such that all faults are identified is a well-established problem. Traditional adequacy metrics can be impractical, and may be misleading even if they are satisfied. One intuitive notion of adequacy ..."
Abstract
-
Cited by 3 (1 self)
- Add to MetaCart
of adequacy, which has been discussed in theoretical terms over the past three decades, is the idea of behavioural coverage; if it is possible to infer an accurate model of a system from its test executions, then the test set must be adequate. Despite its intuitive basis, it has remained almost entirely
Materials for an exploratory theory of the network society.
- The British Journal of Sociology
, 2000
"... ABSTRACT This article aims at proposing some elements for a grounded theor y of the network society. The network society is the social structure characteristic of the Information Age, as tentatively identi ed by empirical, cross-cultural investigation. It permeates most societies in the world, in v ..."
Abstract
-
Cited by 122 (0 self)
- Add to MetaCart
of experience; and relationships of power. Meaning is constantly produced and reproduced through symbolic interaction between actors framed by this social structure, and, at the same time, acting to change it or to reproduce it. By meaning, I understand the symbolic identi cation by an actor of the purpose
An Orchestrated Survey on Automated Software Test Case Generation
, 2013
"... Test case generation is among the most labour-intensive tasks in software testing and also one that has a strong impact on the effectiveness and efficiency of software testing. For these reasons, it has also been one of the most active topics in the research on software testing for several decades, ..."
Abstract
-
Cited by 21 (2 self)
- Add to MetaCart
, resulting in many different approaches and tools. This paper presents an orchestrated survey of the most prominent techniques for automatic generation of software test cases, reviewed in self-standing sections. The techniques presented include: (a) structural testing using symbolic execution, (b) model
Software Engineering Technology Executable Specifications: Language and Applications
"... With recent industry focus on software safety and dependability, and with a particular Department of Defense (DoD) emphasis on safety-critical systems, formal methods are gaining renewed attention as a way to ensure that an implementation is consistent with its specifications. Unlike conventional te ..."
Abstract
- Add to MetaCart
testing methods, which are human intensive and therefore slow, expensive, and error-prone, formal methods enable automated computer-aided verification. This article describes an easy-to-use formal method based on executable specifications. In particular, it describes the logical foundation of executable
First steps in programming: A rationale for attention investment models.
- In Proc. HCC, IEEE
, 2002
"... Abstract Research into the cognitive aspects of programming originated in the study of professional programmers (whether experts or students). Even "end-user" programmers What is Programming? Goodell's excellent website devoted to end user programming Programming is in fact seld ..."
Abstract
-
Cited by 110 (16 self)
- Add to MetaCart
, and the formulations or methods of solution have all evolved. An introductory chapter to the book "Psychology of Programming" Three definitional questions Who is a programmer? The lines of professional demarcation within the software development community have always been fluid as a result of changing
Results 1 - 10
of
249
