Search Results - Program Analysis and Debugging

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

Get full text

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

Get full text

Choosing abstraction levels for model-based software debugging: A theoretical and empirical analysis for spreadsheet programs by 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…”
Get full text

MUSEUM: Debugging real-world multilingual programs using mutation analysis by 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…”
Get full text

DiffTrace: Efficient Whole-Program Trace Analysis and Diffing for Debugging by 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…”
Get full text

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

Get full text

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

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

Debugging and Analysis Tools for Concurrent Programs by 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…”
Get full text

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

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

ParallelC-Assist: Productivity Accelerator Suite Based on Dynamic Instrumentation by 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…”
Get full text

Property probes: Live exploration of program analysis results by 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…”
Get full text

Debugging Multithreaded Programs Using Symbolic Analysis by Xiaodong Zhang

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

Expertise in Debugging Computer Programs: An Analysis of the Content of Verbal Protocols by 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…”
Get full text

Extending Abstract Interpretation to Dependency Analysis of Database Applications by 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…”
Get full text

Evaluation of diagnosis support methods in program debugging by trace analysis: An exploratory study by 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…”
Get full text

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

“…Processors nowadays are consistently equipped with debugging features to facilitate program analysis…”
Get full text

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

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

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

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

Debugging WebAssembly? Put Some Whamm on It by 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…”
Get full text

VISUFLOW: a debugging environment for static analyses by 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…”
Get full text