A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Using automated performance modeling to find scalability bugs in complex codes
2013
Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis on - SC '13
Preserved Fulltext
Wolf: Using Automated Performance Modeling to Find Scalability Bugs in Complex Codes. Supercomputing (SC13). ...
A major goal of this utton" mechanism that ience in the field of perg all relevant levers for to advanced users who r tool using three MPI strate that our tool a code that is known to issue in a code that ...
doi:10.1145/2503210.2503277
dblp:conf/sc/CalotoiuHPW13
fatcat:4ydbvbcqh5fstoxj2nztgvjdim
Scaling Genetic Programming for Source Code Modification
[article]
2012
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
In Search Based Software Engineering, Genetic Programming has been used for bug fixing, performance improvement and parallelisation of programs through the modification of source code. ...
Where an evolutionary computation algorithm, such as Genetic Programming, is to be applied to similar code manipulation tasks, the complexity and size of source code for real-world software poses a scalability ...
By comparing Arcuri with Forrest and Weimer's work, the overall changes achievable are restricted to certain classes of bugs in one and a change in performance in the other. ...
arXiv:1211.5098v1
fatcat:lpgmma54wjfb3jfjew7rpy2rpe
Statical and Dynamical Software Analysis
2020
NaUKMA Research Papers Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Static analysis gives up completeness (though it may be designed to be precise for large classes of interested programs). Last, bug finding is neither robust nor complete. ...
in the modeling stage). ...
with other analysis tools • Scalability as used in the past to analyze large projects the size of millions of lines of code. ...
doi:10.18523/2617-3808.2020.3.50-55
fatcat:dl3s4tmhebbyhetm6ucm4snosy
Challenges and opportunities with concolic testing
2015
2015 National Aerospace and Electronics Conference (NAECON)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
In this paper, we discuss challenges to widespread adoption of concolic testing in an industrial setting and highlight further opportunities where concolic testing can find renewed applicability. ...
Although concolic testing is increasingly being explored as a viable software verification technique, its adoption in mainstream software development and testing in the industry is not yet extensive. ...
In most cases the analysis is performed on some version of the source code and in the other cases some form of the object code. ...
doi:10.1109/naecon.2015.7443099
fatcat:n757pypszveyhefimvoy6r3xte
Survey of Automated Vulnerability Detection and Exploit Generation Techniques in Cyber Reasoning Systems
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Recognizing this need, DARPA sponsored the Cyber Grand Challenge (CGC), a competition to showcase the current state of the art in systems that perform; automated vulnerability detection, exploit generation ...
Though great progress has been made in this area of research, there remains limitations and open challenges to be addressed. ...
Unlike Mayhem, AEG used source code analysis to find exploitable bugs while using binary runtime information to generate corresponding exploits. ...
arXiv:1702.06162v4
fatcat:3rhzbmq6yve2jkcx2mv73pjnre
Complexity in Scalable Computing
2008
Scientific Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Another adapts concepts from computational complexity theory wherein the "computation" is a developer's algorithm for finding a bug. ...
Based on the Common Component Architecture (CCA), Bocca operates in an implementationlanguage-agnostic manner to automate the task of writing component glue code. ...
doi:10.1155/2008/693705
fatcat:6tftcvej3fdtxpg2z4kfmqln3e
Recent Developments in the Field of Bug Fixing
2015
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In recent times, there have been lot of work done in the field of bug fixing in the software development process. ...
We hereby have conducted a review of the seven recent techniques in the field of bug fixing and have made a report on it. ...
This research paper describes a review of the latest technologies in the field of Bug Fixing. Seven research papers have been studied and reviews about them have been given accompanied by diagrams. ...
doi:10.1016/j.procs.2015.04.184
fatcat:6xmczrspnvb4fg4ra56grysry4
Reveal: A Formal Verification Tool for Verilog Designs
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Concrete Design Abstract the Design Abstract Model Property holds Design is Design is Correct Correct Abstract Counterexample Bug Bug Trace Trace learn refine ...
Such refinement can be viewed as a form of on-demand "learning" similar in spirit to conflict-based learning in modern Boolean satisfiability solvers. ...
This is due to the heuristic nature of the satisfiability search for finding a bug. Any search, regardless of the refinement used, could "get lucky" and find a bug early, though only rarely. ...
doi:10.1007/978-3-540-89439-1_25
fatcat:33f3d7qdhbasdlyikpueucgpza
Calysto
2008
Proceedings of the 13th international conference on Software engineering - ICSE '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Many techniques exist, trading-off varying levels of automation, thoroughness of coverage of program behavior, precision of analysis, and scalability to large code bases. ...
Automatically detecting bugs in programs has been a long-held goal in software engineering. ...
Holzmann (Spin), Jesse Smith (Bftpd), and Harlan Stenn (ISC, Ntp) for providing us with prompt feedback both on bug reports and CALYSTO in general. ...
doi:10.1145/1368088.1368118
dblp:conf/icse/BabicH08
fatcat:k7qsybu4dbavnmwskxlyiyhybm
High Performance Static Analysis for Industry
2012
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
In this work we present an empirical study of our industrial strength source code analysis tool Goanna that uses a model checking core for static analysis of C/C++ code. ...
Static source code analysis for software bug detection has come a long way since its early beginnings as a compiler technology. ...
The project conducted the third Static Analysis Tool Exposition (SATE) in 2010 to evaluate static analysis tools and try and find security bugs in source C/C++ code [1] . ...
doi:10.1016/j.entcs.2012.11.002
fatcat:5s7bkaya5bahjcoeolypxrkxou
Automatic Program Repair
2021
IEEE Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
they find in their own programs or in response to a bug report. ...
Such approaches thus use a static bug-finding approach to find a flaw and then can use the static technique to automatically localize the bug and validate that a proposed patch addresses it (i.e., by determining ...
doi:10.1109/ms.2021.3072577
fatcat:7z7idpvt4zfanct3sz43vjlhhm
Bridging the divide between software developers and operators using logs
2012
2012 34th International Conference on Software Engineering (ICSE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Logs are messages generated from statements inserted by developers in the source code and are often used by operators for monitoring the field operation of a system. ...
However, the rich knowledge in logs has not yet been fully used because of their non-structured nature, their large scale, and the use of the ad hoc log analysis techniques. ...
The author appreciates the generosity of the Performance Engineering team at Research In Motion (RIM). ...
doi:10.1109/icse.2012.6227031
dblp:conf/icse/Shang12
fatcat:vw257sb27nd6bk5wm5zsslj7ty
Current challenges in automatic software repair
2013
Software quality journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
First, we review current work on evolutionary computation approaches, focusing on GenProg, which uses genetic programming to evolve a patch to a particular bug. ...
with respect to a specification. ...
Challenges include scalability (how quickly they find repairs, how many lines of code they can handle) and generality (what sorts of programs and bugs they can address). ...
doi:10.1007/s11219-013-9208-0
fatcat:g55pwby6vbdhvf3fjyktzjodnq
Report of the HPC Correctness Summit, Jan 25--26, 2017, Washington, DC
[article]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this study, we detail one of the most significant productivity challenges in achieving this goal, namely the increasing proclivity to bugs, especially in the face of growing hardware and software heterogeneity ...
Maintaining leadership in HPC requires the ability to support simulations at large scales and fidelity. ...
In hybrid programming models, data races occur easily and are notoriously hard to find. ...
arXiv:1705.07478v1
fatcat:2rebouk2tvbqhcfthfhz5abd7i
Post-silicon validation opportunities, challenges and recent advances
2010
Proceedings of the 47th Design Automation Conference on - DAC '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Post-silicon validation is used to detect and fix bugs in integrated circuits and systems after manufacture. ...
Due to sheer design complexity, it is nearly impossible to detect and fix all bugs before manufacture. Post-silicon validation is a major challenge for future systems. ...
Acknowledgment This work is supported in part by the Semiconductor Research Corporation (SRC), the Gigascale Systems Research Center, one of six research centers funded under the Focus Center Research ...
doi:10.1145/1837274.1837280
dblp:conf/dac/MitraSN10
fatcat:hwycqj5eljfxbnszwn3zn5yjmy
« Previous
Showing results 1 — 15 out of 9,008 results