Výsledky vyhľadávania - Program Analysis and Debugging

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

Získať plný text

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

Získať plný text

Choosing abstraction levels for model-based software debugging: A theoretical and empirical analysis for spreadsheet programs Autor 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…”
Získať plný text

MUSEUM: Debugging real-world multilingual programs using mutation analysis Autor 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…”
Získať plný text

DiffTrace: Efficient Whole-Program Trace Analysis and Diffing for Debugging Autor 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…”
Získať plný text

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

Získať plný text

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

“… However, many programs are susceptible to nondeterministic failures that are hard to reproduce, which makes debugging extremely difficult…”
Získať plný text

Debugging and Analysis Tools for Concurrent Programs Autor 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…”
Získať plný text

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

“… Hence they are non-deterministic and consequently debugging concurrent programs is far more difficult than debugging sequential programs…”
Získať plný text

ParallelC-Assist: Productivity Accelerator Suite Based on Dynamic Instrumentation Autor 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…”
Získať plný text

Property probes: Live exploration of program analysis results Autor 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…”
Získať plný text

Debugging Multithreaded Programs Using Symbolic Analysis Autor Xiaodong Zhang

“… To restore this basic assumption, we propose a proactive debugging method so that programmers can debug multithreaded programs as if they…”
Získať plný text

Expertise in Debugging Computer Programs: An Analysis of the Content of Verbal Protocols Autor 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…”
Získať plný text

Extending Abstract Interpretation to Dependency Analysis of Database Applications Autor 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…”
Získať plný text

Evaluation of diagnosis support methods in program debugging by trace analysis: An exploratory study Autor 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…”
Získať plný text

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

“…Processors nowadays are consistently equipped with debugging features to facilitate program analysis…”
Získať plný text

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

“…Processors nowadays are consistently equipped with debugging features to facilitate the program analysis…”
Získať plný text

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

“…This article describes a methodology for the capture and analysis of hybrid data…”
Získať plný text

Debugging WebAssembly? Put Some Whamm on It Autor 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…”
Získať plný text

VISUFLOW: a debugging environment for static analyses Autor 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…”
Získať plný text