Journal ArticleDOI
An empirical study of the reliability of UNIX utilities
Reads0
Chats0
TLDR
The following section describes the tools built to test the utilities, including the fuzz (random character) generator, ptyjig (to test interactive utilities), and scripts to automate the testing process.Abstract:
The following section describes the tools we built to test the utilities. These tools include the fuzz (random character) generator, ptyjig (to test interactive utilities), and scripts to automate the testing process. Next, we will describe the tests we performed, giving the types of input we presented to the utilities. Results from the tests will follow along with an analysis of the results, including identification and classification of the program bugs that caused the crashes. The final section presents concluding remarks, including suggestions for avoiding the types of problems detected by our study and some commentary on the bugs we found. We include an Appendix with the user manual pages for fuzz and ptyjig.read more
Citations
More filters
Book ChapterDOI
A Statistical Analysis of Defects in Debian and Strategies for Improving Quality in Free Software Projects
Martin Michlmayr,Anthony Senyard +1 more
TL;DR: In this article, the authors discuss several statistical analyses of over 7,000 defect reports submitted on 77 core packages in the Debian system and make observations on the efficiency of the open source development process used by projects such as Debian and leads to recommendations on how to improve this process.
Posted Content
ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts
TL;DR: This work studies hybrid fuzzing on smart contracts and presents ConFuzzius, the first hybrid fuzzer for smart contracts, and demonstrates that data dependency analysis can boost bug detection up to 18% and outperforms existing tools in terms of code coverage.
Proceedings Article
On the relationships between the distribution of failure-causing inputs and effectiveness of adaptive random testing
TL;DR: An in-depth investigation into the factors that have an impact on the fault-detection effectiveness of ART is conducted and a guideline for testers to decide when to use ART instead of RT is provided.
Book ChapterDOI
Tolerant Software Interfaces: Can COTS-based Systems be Trusted Without Them?
TL;DR: This work investigates an assessment technique for studying the failure-tolerance of large-scale component-based information systems, and addresses several of the larger problems associated with software maintenance.
Exploiting the saturation effect in automatic random testing of Android applications
Domenico Amalfitano,Nicola Amatucci,Anna Rita Fasolino,Porfirio Tramontana,Emily Kowalczyk,Atif M. Memon +5 more
TL;DR: The notion of the Saturation Effect of an MFT tool on an app under test is used to define a stopping criterion, parameterized by the app's preconditions and the tool's configurations, that is able to stop testing when test adequacy has been achieved without wasting test cycles.
References
More filters
Journal ArticleDOI
On the criteria to be used in decomposing systems into modules
TL;DR: In this paper, the authors discuss modularization as a mechanism for improving the flexibility and comprehensibility of a system while allowing the shortening of its development time, and the effectiveness of modularization is dependent upon the criteria used in dividing the system into modules.
Journal ArticleDOI
Letters to the editor: go to statement considered harmful
TL;DR: My considerations are that, although the programmer's activity ends when he has constructed a correct program, the process taking place under control of his program is the true subject matter of his activity, and that his intellectual powers are rather geared to master static relations and his powers to visualize processes evolving in time are relatively poorly developed.
Book
Go to statement considered harmful
TL;DR: In form and content, Dijkstra's letter is similar to his 1965 paper, and the last few paragraphs underscore once again why the subject of structured programming stayed out of the mainstream of the data processing industry for so long.
Journal ArticleDOI
Efficient learning of context-free grammars from positive structural examples
TL;DR: It is shown that the class of reversible context-free grammars can be identified in the limit frompositive samples of structural descriptions and there exists an efficient algorithm to identify them from positive samples ofStructural descriptions, where a structural description of a context- free grammar is an unlabelled derivation tree of the grammar.
Journal ArticleDOI
Crisis and aftermath
TL;DR: Last November the Internet was infected with a worm program that eventually spread to thousands of machines, disrupting normal activities and Internet connectivity for many days.