The Experts below are selected from a list of 738 Experts worldwide ranked by ideXlab platform
Paraskevas Evripidou - One of the best experts on this subject based on the ideXlab platform.
-
Net-dbx: A Java Powered Tool for Interactive Debugging of MPI Programs Across the Internet
2015Co-Authors: N. Neophytou, Paraskevas EvripidouAbstract:Abstract. This paper describes Net-dbx, a tool that utilizes Java and other WWW tools for the debugging of MPI programs from anywhere in the Internet. Net-dbx is a source level Interactive Debugger with the full power of gdb augmented with the debug functionality of LAM-MPI. The main effort was on a low overhead but yet powerful graphical interface that would be supported by low bandwidth connections. The portability of the tool is of great importance as well because it enables us to use it on heterogeneous nodes that participate in an MPI multicomputer. Both needs are satisfied a great deal by the use of Internet Browsing tools and the Java programming language. The user of our system simply points his browser to the URL of the Net-dbx page, logs in to the destination system, and starts debugging by interacting with the tool just like any GUI environment. The user has the ability to dynamically select which MPI-processes to view/debug. A working prototype has already been developed and tested successfully.
-
Net-dbx: a web-based Debugger of MPI programs over low-bandwidth lines
IEEE Transactions on Parallel and Distributed Systems, 2001Co-Authors: N. Neophytou, Paraskevas EvripidouAbstract:This paper describes Net-dbx, a tool that utilizes Java and other World Wide Web tools for the debugging of MPI programs from anywhere in the Internet. Net-dbx is a source-level Interactive Debugger with the full power of gdb (the GNU Debugger) augmented with the debug functionality of the public-domain MPI implementation environments. The main effort was on a low overhead, yet powerful, graphical interface supported by low-bandwidth connections. The portability of the tool is of great importance as well because it enables the tool to be used on heterogeneous nodes that participate in an MPI multicomputer. Both needs are satisfied a great deal by the use of WWW browsing tools and the Java programming language. The user of our system simply points his/her browser to the Net-dbx page, logs in to the destination system, and starts debugging by interacting with the tool, just as with any GUI environment. The user can dynamically select which MPI processes to view/debug. A special WWW-based environment has been designed and implemented to host the system prototype.
-
Net-dbx: A Java Powered tool for Interactive Debugging of MPI programs across the Internet
1998Co-Authors: N. Neophytou, Paraskevas EvripidouAbstract:This paper describes Net-dbx, a tool that utilizes Java and other WWW tools for the debugging of MPI programs from anywhere in the Internet. Net-dbx is a source level Interactive Debugger with the full power of gdb augmented with the debug functionality of LAM-MPI. The main effort was on a low overhead but yet powerful graphical interface that would be supported by low bandwidth connections. The portability of the tool is of great importance as well because it enables us to use it on heterogeneous nodes that participate in an MPI multicomputer. Both needs are satisfied a great deal by the use of Internet Browsing tools and the Java programming language. The user of our system simply points his browser to the URL of the Net-dbx page, logs in to the destination system, and starts debugging by interacting with the tool just like any GUI environment. The user has the ability to dynamically select which MPI-processes to view/debug. A working prototype has already been develo..
Reiner Hähnle - One of the best experts on this subject based on the ideXlab platform.
-
The Symbolic Execution Debugger (SED): a platform for Interactive symbolic execution, debugging, verification and more
International Journal on Software Tools for Technology Transfer, 2019Co-Authors: Martin Hentschel, Richard Bubel, Reiner HähnleAbstract:The Symbolic Execution Debugger (SED), is an extension of the debug platform for Interactive Debuggers based on symbolic execution. The SED comes with a static symbolic execution engine for sequential programs, but any third-party symbolic execution engine can be integrated into the SED. An Interactive Debugger based on symbolic execution allows one like a traditional Debugger to locate defects in the source code. The difference is that all feasible execution paths are explored at once, and thus there is no need to know input values resulting in an execution that exhibits the failure. In addition, such a Debugger can be used in code reviews and to guide and present results of an analysis based on symbolic execution such as, in our case, correctness proofs. Experimental evaluations proved that the SED increases the effectiveness of code reviews and proof understanding tasks.
Katsuro Inoue - One of the best experts on this subject based on the ideXlab platform.
-
nod4j near omniscient debugging tool for java using size limited execution trace
Science of Computer Programming, 2021Co-Authors: Kazumasa Shimari, Takashi Ishio, Tetsuya Kanda, Naoto Ishida, Katsuro InoueAbstract:Abstract Logging is an important feature of a software system to record run-time information. Detailed logging allows developers to collect run-time information in situations where they cannot use an Interactive Debugger, such as continuous integration and web application server cases. However, extensive logging leads to larger execution traces because few instructions can be repeated many times. This paper presents our tool NOD4J, which monitors a Java program's execution within limited storage space constraints and annotates the source code with observed values in an HTML format. Developers can easily investigate the execution and share the report on a web server. We show two examples that our tool can debug defects using incomplete execution traces.
-
near omniscient debugging for java using size limited execution trace
International Conference on Software Maintenance, 2019Co-Authors: Kazumasa Shimari, Takashi Ishio, Tetsuya Kanda, Katsuro InoueAbstract:Logging is an important feature for a software system to record its run-time information. Detailed logging allows developers to collect information in situations where they cannot use an Interactive Debugger, such as continuous integration and web application server cases. However, extensive logging leads to larger execution traces because few instructions could be repeated many times. To record detailed program behavior within limited storage space constraints, we propose Near-Omniscient Debugging, a methodology that records an execution trace using fixed size buffers for each observed instruction. Our tool monitors a Java program's execution and annotates source code with observed values in an HTML format. Developers can easily investigate the execution and share the report on a web server. In case of DaCapo benchmark applications, our tool requires fewer than 1% of the complete execution traces to visualize all runtime values used by 66% of instructions that are executed less than 64 times. Developers also can obtain data dependencies with precision 91.8% and recall 79.0% using this tool.
N. Neophytou - One of the best experts on this subject based on the ideXlab platform.
-
Net-dbx: A Java Powered Tool for Interactive Debugging of MPI Programs Across the Internet
2015Co-Authors: N. Neophytou, Paraskevas EvripidouAbstract:Abstract. This paper describes Net-dbx, a tool that utilizes Java and other WWW tools for the debugging of MPI programs from anywhere in the Internet. Net-dbx is a source level Interactive Debugger with the full power of gdb augmented with the debug functionality of LAM-MPI. The main effort was on a low overhead but yet powerful graphical interface that would be supported by low bandwidth connections. The portability of the tool is of great importance as well because it enables us to use it on heterogeneous nodes that participate in an MPI multicomputer. Both needs are satisfied a great deal by the use of Internet Browsing tools and the Java programming language. The user of our system simply points his browser to the URL of the Net-dbx page, logs in to the destination system, and starts debugging by interacting with the tool just like any GUI environment. The user has the ability to dynamically select which MPI-processes to view/debug. A working prototype has already been developed and tested successfully.
-
Net-dbx: a web-based Debugger of MPI programs over low-bandwidth lines
IEEE Transactions on Parallel and Distributed Systems, 2001Co-Authors: N. Neophytou, Paraskevas EvripidouAbstract:This paper describes Net-dbx, a tool that utilizes Java and other World Wide Web tools for the debugging of MPI programs from anywhere in the Internet. Net-dbx is a source-level Interactive Debugger with the full power of gdb (the GNU Debugger) augmented with the debug functionality of the public-domain MPI implementation environments. The main effort was on a low overhead, yet powerful, graphical interface supported by low-bandwidth connections. The portability of the tool is of great importance as well because it enables the tool to be used on heterogeneous nodes that participate in an MPI multicomputer. Both needs are satisfied a great deal by the use of WWW browsing tools and the Java programming language. The user of our system simply points his/her browser to the Net-dbx page, logs in to the destination system, and starts debugging by interacting with the tool, just as with any GUI environment. The user can dynamically select which MPI processes to view/debug. A special WWW-based environment has been designed and implemented to host the system prototype.
-
Net-dbx: A Java Powered tool for Interactive Debugging of MPI programs across the Internet
1998Co-Authors: N. Neophytou, Paraskevas EvripidouAbstract:This paper describes Net-dbx, a tool that utilizes Java and other WWW tools for the debugging of MPI programs from anywhere in the Internet. Net-dbx is a source level Interactive Debugger with the full power of gdb augmented with the debug functionality of LAM-MPI. The main effort was on a low overhead but yet powerful graphical interface that would be supported by low bandwidth connections. The portability of the tool is of great importance as well because it enables us to use it on heterogeneous nodes that participate in an MPI multicomputer. Both needs are satisfied a great deal by the use of Internet Browsing tools and the Java programming language. The user of our system simply points his browser to the URL of the Net-dbx page, logs in to the destination system, and starts debugging by interacting with the tool just like any GUI environment. The user has the ability to dynamically select which MPI-processes to view/debug. A working prototype has already been develo..
Martin Hentschel - One of the best experts on this subject based on the ideXlab platform.
-
The Symbolic Execution Debugger (SED): a platform for Interactive symbolic execution, debugging, verification and more
International Journal on Software Tools for Technology Transfer, 2019Co-Authors: Martin Hentschel, Richard Bubel, Reiner HähnleAbstract:The Symbolic Execution Debugger (SED), is an extension of the debug platform for Interactive Debuggers based on symbolic execution. The SED comes with a static symbolic execution engine for sequential programs, but any third-party symbolic execution engine can be integrated into the SED. An Interactive Debugger based on symbolic execution allows one like a traditional Debugger to locate defects in the source code. The difference is that all feasible execution paths are explored at once, and thus there is no need to know input values resulting in an execution that exhibits the failure. In addition, such a Debugger can be used in code reviews and to guide and present results of an analysis based on symbolic execution such as, in our case, correctness proofs. Experimental evaluations proved that the SED increases the effectiveness of code reviews and proof understanding tasks.
