Suchergebnisse - Program Analysis and Debugging

Microsoft Assigned Patent for Demand-driven Analysis of Pointers for Software Program Analysis and Debugging

Volltext

US Patent Issued to Microsoft on Nov. 19 for "Demand-driven analysis of pointers for software program analysis and debugging" (Washington, Massachusetts Inventors)

Volltext

Choosing abstraction levels for model-based software debugging: A theoretical and empirical analysis for spreadsheet programs von Rodler, Patrick, Hofer, Birgit, Jannach, Dietmar, Nica, Iulia, Wotawa, Franz

“… Model-based diagnosis is a generally applicable, principled approach to the systematic debugging of a wide range of system types such as circuits, knowledge bases, physical devices, or software …”
Volltext

MUSEUM: Debugging real-world multilingual programs using mutation analysis von Hong, Shin, Kwak, Taehoon, Lee, Byeongcheol, Jeon, Yiru, Ko, Bongseok, Kim, Yunho, Kim, Moonzoo

“… Non-trivial programs are likely to be written in more than a single language to take advantage of various control/data abstractions and legacy libraries. Objective …”
Volltext

DiffTrace: Efficient Whole-Program Trace Analysis and Diffing for Debugging von Taheri, Saeed, Briggs, Ian, Burtscher, Martin, Gopalakrishnan, Ganesh

“… We present a tool called DiffTrace that approaches debugging via whole program tracing and diffing of typical and erroneous traces …”
Volltext

Special issue on testing, analysis and debugging of concurrent programs von Farchi, Eitan, Hierons, Robert M., Lourenço, João

Volltext

Debugging Nondeterministic Failures in Linux Programs through Replay Analysis von Majeed, Shakaiba, Ryu, Minsoo

“… However, many programs are susceptible to nondeterministic failures that are hard to reproduce, which makes debugging extremely difficult …”
Volltext

Debugging and Analysis Tools for Concurrent Programs von Taheri, Saeed

“… With the high growth in computation power and the invention of modern languages, concurrent software testing and debugging is vital to deliver reliable software …”
Volltext

Dynamic program analyses for debugging concurrency bugs in large multi-threaded programs von Weeratunge, Dasarath

“… Hence they are non-deterministic and consequently debugging concurrent programs is far more difficult than debugging sequential programs …”
Volltext

ParallelC-Assist: Productivity Accelerator Suite Based on Dynamic Instrumentation von Chatterjee, Nachiketa, Majumdar, Srijoni, Das, Partha Pratim, Chakrabarti, Amlan

“… In this article we study different debugging tools mostly used for program design analysis, thread debugging, and resource management …”
Volltext

Property probes: Live exploration of program analysis results von Risberg Alaküla, Anton, Hedin, Görel, Fors, Niklas, Pop, Adrian

“… We have developed a client–server based tool CodeProber supporting property probes, and argue that it is very helpful in debugging and understanding program analyses …”
Volltext

Debugging Multithreaded Programs Using Symbolic Analysis von Xiaodong Zhang

“… To restore this basic assumption, we propose a proactive debugging method so that programmers can debug multithreaded programs as if they …”
Volltext

Expertise in Debugging Computer Programs: An Analysis of the Content of Verbal Protocols von Vessey, Iris

“… The results of an exploratory study that investigated expert and novice debugging processes with the aim of contributing to a general theory of programming expertise are reported …”
Volltext

Extending Abstract Interpretation to Dependency Analysis of Database Applications von Jana, Angshuman, Halder, Raju, Abhishekh, Kalahasti Venkata, Ganni, Sanjeevini Devi, Cortesi, Agostino

“… , program slicing, information flow security analysis, debugging, code-optimization, code-reuse, code-understanding …”
Volltext

Evaluation of diagnosis support methods in program debugging by trace analysis: An exploratory study von Kume, Izuru, Nakamura, Masahide, Tanaka, Yasuyuki, Shibayama, Etsuya

“… A Diagnosis explains why a program fails. Making a correct diagnosis is necessary for debugging a practical program, but it requires many efforts to comprehend the program …”
Volltext

Revisiting ARM Debugging Features: Nailgun and its Defense von Ning, Zhenyu, Wang, Chenxu, Chen, Yinhua, Zhang, Fengwei, Cao, Jiannong

“… Processors nowadays are consistently equipped with debugging features to facilitate program analysis …”
Volltext

Understanding the Security of ARM Debugging Features von Ning, Zhenyu, Zhang, Fengwei

“… Processors nowadays are consistently equipped with debugging features to facilitate the program analysis …”
Volltext

A methodology for the capture and analysis of hybrid data: A case study of program debugging von Romero, Pablo, Cox, Richard, du Boulay, Benedict, Lutz, Rudi, Bryant, Sallyann

“… This article describes a methodology for the capture and analysis of hybrid data …”
Volltext

Debugging WebAssembly? Put Some Whamm on It von Gilbert, Elizabeth, Schneider, Matthew, An, Zixi, Thalanki, Suhas, Bowman, Wavid, Bai, Alexander Y., Titzer, Ben L., Miller, Heather

“… Debugging and monitoring programs are integral to engineering and deploying software …”
Volltext

VISUFLOW: a debugging environment for static analyses von Do, Lisa Nguyen Quang, Krüger, Stefan, Hill, Patrick, Ali, Karim, Bodden, Eric

“… But what about defects in the static analyses themselves? While debugging application code is a difficult, time-consuming task, debugging a static analysis is even harder …”
Volltext