Filters








258,678 Hits in 12.5 sec

ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems [chapter]

Peter Backes, Jan Reineke
2015 Lecture Notes in Computer Science  
It is based on abstract interpretation and implements cluster abstraction, i.e., it computes a finite overapproximation of the set of reachable graphs by decomposing them into small, overlapping clusters  ...  We describe ASTRA (see http://rw4.cs.uni-saarland.de/ ∼ rtc/ astra/), a tool for the static analysis of infinite-state graph transformation systems.  ...  Conny Clausen managed copyright clearance with Saarland University to obtain permission for releasing the tool under a Free Software license.  ... 
doi:10.1007/978-3-319-23404-5_2 fatcat:fybq2rurvjdk5lnwepgaptbyvi

Tools and Behavioral Abstraction: A Direction for Software Engineering [chapter]

K. Rustan M. Leino
2010 The Future of Software Engineering  
A stronger arsenal of analysis tools can enable languages and development environments to give good support for behavioral abstraction.  ...  Moreover, the abstraction level is the same throughout the program text, leaving no room for behavioral abstraction where the design of a program is divided up into stages that gradually introduce more  ...  Perhaps we can draw inspiration from dynamically typed languages that try hard to give some interpretation to code at run time, even if a static type checker would have had a hard time with the program  ... 
doi:10.1007/978-3-642-15187-3_7 dblp:conf/birthday/Leino10 fatcat:ur7ljudokvd2fj7atxw4kz36fm

Applying dynamic analysis to programs running in interpreted environments
Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах

S.P. Vartanov, M.K. Ermakov, A.Y. Gerasimov
2017 Proceedings of the Institute for System Programming of RAS  
Applications of dynamic analysis to programs executed inside of interpreting environments. Trudy ISP RAN /Proc.  ...  The approach is based on static bytecode instrumentation for trace generation and employs ThreadSanitizer defect detection tool for identifying bugs. Keywords : dynamic analysis; program analysis.  ...  Applications of dynamic analysis to programs executed inside of interpreting environments. Trudy ISP RAN /Proc.  ... 
doi:10.15514/ispras-2017-29(1)-9 fatcat:z76arvjrgfhwnj5lpuy22e3k6i

A framework for dynamic program analyzers

Bernd Bruegge, Tim Gottschalk, Bin Luo
1993 SIGPLAN notices  
BEE++ is an object-oriented application framework for the dynamic analysis of distributed programs. The main objective of BEE++ is to provide a common platform for monitoring and debugging.  ...  The dynamic analysis tools can be distributed across nodes, which provides significant performance gains for visualization applications.  ...  In addition, such a powerful tool can be quite overwhelming and might not be very helpful for the casual user which we believe is the main type of user for dynamic program analysis tools.  ... 
doi:10.1145/167962.165870 fatcat:2bju2pc27zfjveosongyqwqcde

A framework for dynamic program analyzers

Bernd Bruegge, Tim Gottschalk, Bin Luo
1993 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications - OOPSLA '93  
BEE++ is an object-oriented application framework for the dynamic analysis of distributed programs. The main objective of BEE++ is to provide a common platform for monitoring and debugging.  ...  The dynamic analysis tools can be distributed across nodes, which provides significant performance gains for visualization applications.  ...  In addition, such a powerful tool can be quite overwhelming and might not be very helpful for the casual user which we believe is the main type of user for dynamic program analysis tools.  ... 
doi:10.1145/165854.165870 dblp:conf/oopsla/BrueggeGL93 fatcat:p3ac7vbzpjeu5lcnplfvn6qofm

Dynamic Program Analysis [chapter]

Alex Biryukov, Christophe De Cannière, William E. Winkler, Charu C. Aggarwal, Markus Kuhn, Luc Bouganim, Yanli Guo, Bart Preneel, Gerrit Bleumer, Tor Helleseth, Ran Canetti, Mayank Varia (+35 others)
2011 Encyclopedia of Cryptography and Security  
We propose new methods for systematically and automatically testing sequential and concurrent programs.  ...  We extend concolic testing with a method called race-detection and flipping, which provides ways of reducing, often exponentially, the exploration space for concolic testing.  ...  It is worth mentioning that we tested the un-abstracted version of these programs rather than requiring a programmer to manually provide abstract interpretations as in [75] .  ... 
doi:10.1007/978-1-4419-5906-5_1352 fatcat:6xfnq4jmxnefphktsrcesjgzdu

06/00410 A unified tool for performance modelling andprediction

2006 Fuel and Energy Abstracts  
We illustrate our approach on a real-world analysis problem from the domain of mobile telephony. q  ...  We describe a novel performability modelling approach, which facilitates the efficient solution of performance models extracted from high-level descriptions of systems.  ...  The notation r a (E) which is used in the third co-operation rule denotes the apparent rate of a in E.  ... 
doi:10.1016/s0140-6701(06)80410-8 fatcat:trlo7kauwjgivedqfsw7vlnin4

DP-solver: automating dynamic programming

Zoltan Katai, Attila Elekes
2021 Acta Universitatis Sapientiae: Informatica  
Dynamic programming (DP) is a widely used optimization method with several applications in various fields of science.  ...  There are a number of researchers for whom the mathematical part is available, but they are not familiar with computer programming.  ...  There are also a lot of available plugins for solving various problems, including DP. The programming language used by Matlab is also relatively simple and has a high abstraction level.  ... 
doi:10.2478/ausi-2021-0017 fatcat:ywdtzjl525bvrbhmzit3hl2ati

Visualization of Dynamic Program Aspects

Pieter Deelen, Frank van Ham, Cornelis Huizing, Huub van de Wetering
2007 2007 4th IEEE International Workshop on Visualizing Software for Understanding and Analysis  
This thesis describes the design and implementation of a tool which shows the developer which classes interact during execution.  ...  This tool, called TraceVis, allows the developer to study the executions of Java programs. It uses bytecode instrumentation techniques to extract relevant information from these executions.  ...  A.4 Runtime Java programs are executed on an abstract computing machine, the Java Virtual Machine (JVM) [17] . A.4.1 Class Loading The bytecode for a program is stored in one or more class files.  ... 
doi:10.1109/vissof.2007.4290698 dblp:conf/vissoft/DeelenHHW07 fatcat:bdbtpjepzbhavh5y5fz5pkdwuu

A user input and analysis tool for information architecture

Jianming Dong, Shirley Martin, Paul Waldo
2001 CHI '01 extended abstracts on Human factors in computer systems - CHI '01  
The output diagrams from EZCalc feature directly adjustable criteria bars and dynamic feedback on the resulting groupings. This tool is available for download from the IBM Ease of Use Web site.  ...  Usort provides a simple user interface for the card sort study participants to group cards by direct manipulation within a Graphical User Interface.  ...  EZSort is a software tool that simplifies both the card sorting exercise procedure and the interpretation of the resulting trees. This tool includes two packages --USort and EZCalc.  ... 
doi:10.1145/634083.634085 fatcat:zkdk455rdjcgpfuk6bqymsodui

Dynamic Neural Program Embedding for Program Repair [article]

Ke Wang, Rishabh Singh, Zhendong Su
2018 arXiv   pre-print
Neural program embeddings have shown much promise recently for a variety of program analysis tasks, including program synthesis, program repair, fault localization, etc.  ...  Our key insight is that program states expressed as sequential tuples of live variable values not only captures program semantics more precisely, but also offer a more natural fit for Recurrent Neural  ...  of programs; and (3) the third trained with a RNN on abstract syntax trees of programs (Socher et al., 2013) .  ... 
arXiv:1711.07163v4 fatcat:mqp3faiqkjf2jdlo5hwlxo2rqm

Program Analysis with Dynamic Precision Adjustment

Dirk Beyer, Thomas A. Henzinger, Gregory Theoduloz
2008 2008 23rd IEEE/ACM International Conference on Automated Software Engineering  
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on the accumulated results  ...  For example, the explicit tracking of the values of a variable may be switched off in favor of a predicate abstraction when and where the number of different variable values that have been encountered  ...  We have not yet addressed the problem of automatically mining meaningful predicates from a given set of sample values. This is left for future investigation.  ... 
doi:10.1109/ase.2008.13 dblp:conf/kbse/BeyerHT08 fatcat:wxe7utxy2ja6dovqszcosgbaja

Developers shift to dynamic programming languages

L.D. Paulson
2007 Computer  
Perl is a Unix-based, open source, interpreted, server-side programming language for writing Web scripts.  ...  Bray noted that many dynamic languages don't have the tools or performance necessary for building large software.  ... 
doi:10.1109/mc.2007.53 fatcat:l6hzw4ka2vh57c5ov3zg6vz4ne

Dynamically discovering likely program invariants to support program evolution

M.D. Ernst, J. Cockrell, W.G. Griswold, D. Notkin
2001 IEEE Transactions on Software Engineering  
In a C program lacking explicit invariants, the system discovered invariants that assisted a software evolution task.  ...  This research focuses on dynamic techniques for discovering invariants from execution traces. This article reports three results.  ...  ACKNOWLEDGMENTS This is a revised and extended version of a paper that appeared in ICSE '99 [26] . Aung Thaung performed the analysis of student programs reported in Section 6.  ... 
doi:10.1109/32.908957 fatcat:mbfpibucbbg6hepe2tvc55tz5m
« Previous Showing results 1 — 15 out of 258,678 results