Filters








690,139 Hits in 2.6 sec

Path Exploration Tool [chapter]

Elsa L. Gunter, Doron Peled
1999 Lecture Notes in Computer Science  
The tool, path exploration tool Pet, visualizes concurrent code as ow graphs, and allows the user to interactively select an interleaved execution path.  ...  We present a tool for testing execution paths in sequential and concurrent programs.  ...  We are also exploring di erent w ays of presenting information to the user.  ... 
doi:10.1007/3-540-49059-0_28 fatcat:icer3oidmrhc3ehz5vogr7s4bu

Exploring developer's tool path

Jelena Vlasenko
2011 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11  
Using the concept of cycle we explore how the developers distribute their time and navigate among different tools during their work.  ...  A cycle is occurs when a developer working on a tool switches to another tool, or also to more, and eventually goes back to the first tool.  ...  It has been identified that there is a need for a tool that would help to explore existing software.  ... 
doi:10.1145/2048147.2048216 dblp:conf/oopsla/Vlasenko11 fatcat:4flezav4bjfchgxeccc3yjeapm

Joining the patient on the path to customized prophylaxis: one hemophilia team explores the tools of engagement

Deborah Gue, Claude Bartholomew, Kam McIntosh, Sandra Squire, Haowei (Linda) Sun, Ming Yang, Nicole Summers, Shannon Jackson
2015 Journal of Multidisciplinary Healthcare  
clinic team in providing clinical care and, specifically, in working with patients toward individualized prophylaxis (Roles Workshop); and the other one to describe, 529 customized prophylaxis: the tools  ...  Should patients identify issues and solutions that fall outside safe and reasonable clinical care, these are clearly identified and patients are offered the opportunity to explore options within acceptable  ... 
doi:10.2147/jmdh.s93579 pmid:26675989 pmcid:PMC4676616 fatcat:gvguv75kjjakjmesetkihsfmxq

The BioCyc Metabolic Network Explorer

Suzanne Paley, Peter D. Karp
2021 BMC Bioinformatics  
alternate paths of interest.  ...  Conclusions The Metabolic Network Explorer fills a gap in the set of metabolic network visualization tools and complements other modes of exploration.  ...  We are not aware of other tools that permit the sort of neighborhood-based exploration provided by the Metabolic Network Explorer.  ... 
doi:10.1186/s12859-021-04132-5 pmid:33882841 fatcat:xmwxsczorbh77brccbgwzhduem

Understanding an Ontology through Divergent Exploration [chapter]

Kouji Kozaki, Takeru Hirota, Riichiro Mizoguchi
2011 Lecture Notes in Computer Science  
Based on the approach, we developed an ontology exploration tool and evaluated the system through an experimental use by experts in an environmental domain.  ...  As a result, we confirmed that the tool supports experts to obtain meaningful knowledge for them through the divergent exploration and it contributes to integrated understanding of the ontology and its  ...  ontology exploration tool 3 ) 3 Describe the relationships clarified in step 2 as an ontology. 1 ) 1 Scenarios reproduced by exploration with Search Path function (automatic exploration of combinations  ... 
doi:10.1007/978-3-642-21034-1_21 fatcat:nitm3jdu7zdlrgamhw2mega7ca

A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools [chapter]

Mickaël Delahaye, Nikolai Kosmatov
2013 Lecture Notes in Computer Science  
This method allows Path-Crawler, a DSE tool for C programs, to accept a precondition defined as a C function.  ...  This paper presents a novel technique for handling a precondition in dynamic symbolic execution (DSE) testing tools. It delays precondition constraints until the end of the program path evaluation.  ...  The depth-first exploration of program paths (steps A 2 -A 5 ) starts with the empty path ε.  ... 
doi:10.1007/978-3-642-40787-1_20 fatcat:xxpdlgrjknhj5hp2u7cplcpl7i

KaitoroCap: A Document Navigation Capture and Visualisation Tool

Moon Ting Su, John Hosking, John Grundy
2011 2011 Ninth Working IEEE/IFIP Conference on Software Architecture  
Its main features are exploration paths capture, retrieval, analysis, hierarchical tree-view visualization of paths, path searching, section rating, tagging, commenting, expanding/collapsing and page model  ...  As part of our work, we developed KaitoroCap, a document navigation capture and visualisation tool.  ...  ', 'Analyze Exploration Paths' and 'Exploration Paths Tree View' menu item respectively, from the main user interface of the tool (Fig. 2 (A) ).  ... 
doi:10.1109/wicsa.2011.58 dblp:conf/wicsa/SuHG11a fatcat:afr667zka5hgpntptw2hsxviti

TRACER (TRACroute ExploRer): A Tool to Explore OSG/WLCG Network Route Topologies

Evgeniy Tretyakov, Alexey Artamonov, Maria Grigorieva, Alexei Klimentov, Shawn McKee, Ilija Vukotic
2020 Figshare  
The TRACER tool allows us to explore this route data visually.  ...  Fortunately, tracking of these dynamically changing paths or routes has become possible thanks to the massive and detailed network measurements being output TRACER (TRACe route ExploRer): A Tool to Explore  ... 
doi:10.6084/m9.figshare.12724865 fatcat:2hkv4jxjjbbevnfydyo2lwz5qi

LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

Kari Kähkönen, Olli Saarikivi, Keijo Heljanko
2013 Electronical Notes in Theoretical Computer Science  
The tool uses concolic testing to handle input values and dynamic partial order reduction (DPOR) combined with sleep sets to avoid exploring unnecessary interleavings of threads.  ...  This allows different execution paths of a given program to be tested in parallel. We evaluate the architecture and distributed algorithms of the tool on several Java benchmark programs.  ...  a previously explored path constraint is chosen and the last symbolic constraint in it is negated.  ... 
doi:10.1016/j.entcs.2013.09.002 fatcat:o2elmhmfxfeidbmaaukwsrpcsu

Memoise: A tool for memoized symbolic execution

Guowei Yang, Sarfraz Khurshid, Corina S. Pasareanu
2013 2013 35th International Conference on Software Engineering (ICSE)  
Specifically, Memoise builds a triebased data structure to record path exploration information during a run of symbolic execution, optimizes the trie for the next run, and re-uses the resulting trie during  ...  The tool demonstration video is available at  ...  Memoise leverages the similarities to reduce both the number of paths to explore by pruning the path exploration as well as the cost of constraint solving by re-using path feasibility results that were  ... 
doi:10.1109/icse.2013.6606713 dblp:conf/icse/YangKP04 fatcat:cll3he65bffwpnpftnwzhbg2a4

Ontology exploration tool for social, economic and environmental development

Kouji Kozaki, Terukazu Kumazawa, Osamu Saito, Riichiro Mizoguchi
2013 2013 7th IEEE International Conference on Digital Ecosystems and Technologies (DEST)  
This paper overviews an ontology exploration tool which facilitates collaborative sustainable development.  ...  Its features are divergent exploration according to the user's viewpoints and consensus building support through comparisons among conceptual maps which are results of the explorations.  ...  The ontology exploration tool support not only manual exploration but also machine exploration called search path.  ... 
doi:10.1109/dest.2013.6611350 dblp:conf/dest/KozakiKSM13 fatcat:2ekean5e7vfvfao4xkcptf3nmy

Automatic Compilation of C Applications for FPGA-Based Hardware Acceleration

Lieu My Chuong, Yan Lin Aung, Siew-Kei Lam, Thambipillai Srikanthan, Lim Chai Soon
2011 2011 Fourth International Symposium on Parallel Architectures, Algorithms and Programming  
Advancement in design tools is necessary to bridge the widening productivity gap between hardware design and software development in state-of-the-art Field Programmable Gate Arrays (FPGA).  ...  We present a design exploration framework that automatically compiles C applications to realize efficient custom coprocessor structures for hardware acceleration on the reconfigurable logic.  ...  Figure 5 and Figure 6 shows the area and critical path delay comparison of the RTL codes generated by the proposed design exploration framework and Altera C2H tool.  ... 
doi:10.1109/paap.2011.70 dblp:conf/paap/ChuongALSL11 fatcat:rcn4sjaupncmxc46us5celqwmm

S2E

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea
2012 SIGPLAN notices  
Conceptually, S 2 E is an automated path explorer with modular path analyzers: the explorer drives the target system down all execution paths of interest, while analyzers check properties of each such  ...  Desired paths can be specified in multiple ways, and S 2 E users can either combine existing analyzers to build a custom analysis tool, or write new analyzers using the S 2 E API.  ...  However, such tools cannot provide any confidence that results of the analyses extend beyond the concretely explored paths.  ... 
doi:10.1145/2248487.1950396 fatcat:zzwq5gdo7rgftcelppt3hqsmcq

S2E

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea
2011 Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems - ASPLOS '11  
Conceptually, S 2 E is an automated path explorer with modular path analyzers: the explorer drives the target system down all execution paths of interest, while analyzers check properties of each such  ...  Desired paths can be specified in multiple ways, and S 2 E users can either combine existing analyzers to build a custom analysis tool, or write new analyzers using the S 2 E API.  ...  However, such tools cannot provide any confidence that results of the analyses extend beyond the concretely explored paths.  ... 
doi:10.1145/1950365.1950396 dblp:conf/asplos/ChipounovKC11 fatcat:ju6j3mbbmvafdinmg463beuppu

S2E

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea
2011 SIGPLAN notices  
Conceptually, S 2 E is an automated path explorer with modular path analyzers: the explorer drives the target system down all execution paths of interest, while analyzers check properties of each such  ...  Desired paths can be specified in multiple ways, and S 2 E users can either combine existing analyzers to build a custom analysis tool, or write new analyzers using the S 2 E API.  ...  However, such tools cannot provide any confidence that results of the analyses extend beyond the concretely explored paths.  ... 
doi:10.1145/1961296.1950396 fatcat:2vciqscsnjhu3feu4rjiqfie7u
« Previous Showing results 1 — 15 out of 690,139 results