The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for debugging with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1966 (19) 1967-1969 (15) 1970-1973 (17) 1974-1975 (19) 1976-1978 (25) 1979-1980 (19) 1981-1982 (22) 1983 (54) 1984 (23) 1985 (24) 1986 (19) 1987 (46) 1988 (81) 1989 (51) 1990 (71) 1991 (88) 1992 (57) 1993 (119) 1994 (72) 1995 (114) 1996 (82) 1997 (105) 1998 (83) 1999 (113) 2000 (166) 2001 (121) 2002 (130) 2003 (183) 2004 (180) 2005 (264) 2006 (290) 2007 (285) 2008 (314) 2009 (282) 2010 (202) 2011 (136) 2012 (150) 2013 (152) 2014 (145) 2015 (117) 2016 (155) 2017 (142) 2018 (146) 2019 (144) 2020 (140) 2021 (149) 2022 (148) 2023 (141) 2024 (33)
Publication types (Num. hits)
article(1319) book(10) data(1) incollection(17) inproceedings(4146) phdthesis(134) proceedings(26)
Venues (Conferences, Journals, ...)
CoRR(211) AADEBUG(115) IEEE Trans. Software Eng.(80) ICSE(72) Workshop on Parallel and Distr...(62) PADTAD(58) SIGCSE(56) Commun. ACM(51) PLDI(50) ASE(49) DAC(45) VL/HCC(40) ISSTA(38) SIGSOFT(37) IPDPS(35) J. Syst. Softw.(35) More (+10 of total 1554)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4309 occurrences of 1739 keywords

Results
Found 5653 publication records. Showing 5653 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
16Lawrence Cabac, Till Dörges, Heiko Rölke A Monitoring Toolset for Paose. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Paose, multi-agent systems, testing, monitoring, debugging, analysis, inspection, Renew, reference nets
16W. Eric Wong, Tingting Wei, Yu Qi, Lei Zhao A Crosstab-based Statistical Method for Effective Fault Localization. Search on Bibsonomy ICST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF crosstab analysis, contingency coefficient, program debugging, fault localization, hypothesis test, Chi-square test
16Lingxiao Jiang, Zhendong Su 0001 Profile-guided program simplification for effective testing and analysis. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF testing and analysis, profiling, statistical debugging, program simplification
16Joseph Lawrance, Rachel K. E. Bellamy, Margaret M. Burnett, Kyle Rector Using information scent to model the dynamic foraging behavior of programmers in maintenance tasks. Search on Bibsonomy CHI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software maintenance, debugging, information foraging
16Peggy Cellier Formal concept analysis applied to fault localization. Search on Bibsonomy ICSE Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF data mining, association rules, debugging, formal concept analysis, fault localization
16Andrea Arcuri On the automation of fixing software bugs. Search on Bibsonomy ICSE Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF automatic bug fixing, genetic programming, co-evolution, automated debugging, repair
16Shashidhar Mysore, Banit Agrawal, Navin Srivastava, Sheng-Chih Lin, Kaustav Banerjee, Timothy Sherwood 3D Integration for Introspection. Search on Bibsonomy IEEE Micro The full citation details ... 2007 DBLP  DOI  BibTeX  RDF 3D interconnect, 3D stacking, performance evaluation, testing, debugging, profiling
16David Alan Grier Dirty Electricity. Search on Bibsonomy Computer The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Debugging, Computers and society, Computing technology
16Torben Weis, Mirko Knoll, Andreas Ulbrich, Gero Mühl, Alexander Brändle Rapid Prototyping for Pervasive Applications. Search on Bibsonomy IEEE Pervasive Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF application logic, context-aware, prototype, debugging, programming logic
16Anne Gattiker Guest Editor's Introduction: Getting More Out of Test. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF electronic test, designers, debugging, diagnosis, International Test Conference, ITC, test engineers
16William J. Bolosky, John R. Douceur, Jon Howell The Farsite project: a retrospective. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal system specification, serverless distributed file system, system design iteration, tech transfer, software engineering, project management, distributed debugging
16Emre Can Sezer, Peng Ning, Chongkyung Kil, Jun Xu 0003 Memsherlock: an automated debugger for unknown memory corruption vulnerabilities. Search on Bibsonomy CCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF memory corruption, debugging, vulnerability analysis
16Ye Wen, Wei Zhang 0118, Richard Wolski, Navraj Chohan Simulation-based augmented reality for sensor network development. Search on Bibsonomy SenSys The full citation details ... 2007 DBLP  DOI  BibTeX  RDF simulation, sensor network, debugging
16Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, Evren Sirin Finding All Justifications of OWL DL Entailments. Search on Bibsonomy ISWC/ASWC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF OWL Ontology Explanation, Debugging, Justifications
16Joseph A. Tucek, Shan Lu 0001, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou 0001 Triage: diagnosing production run failures at the user's site. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF onsite, debugging, diagnosis
16Lei Gao, Stefan Kraemer, Rainer Leupers, Gerd Ascheid, Heinrich Meyr A fast and generic hybrid simulation approach using C virtual machine. Search on Bibsonomy CASES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF simulation, virtual machine, debugging
16Sriraman Tallam, Chen Tian 0002, Rajiv Gupta 0001, Xiangyu Zhang 0001 Enabling tracing Of long-running multithreaded programs via dynamic execution reduction. Search on Bibsonomy ISSTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF dependence tracing, debugging, checkpointing, control flow, replay, event logging
16Simon Marlow, José Iborra, Bernard J. Pope, Andy Gill A lightweight interactive debugger for haskell. Search on Bibsonomy Haskell The full citation details ... 2007 DBLP  DOI  BibTeX  RDF debugging, lazy evaluation
16Arndt Mühlenfeld, Franz Wotawa Fault detection in multi-threaded c++ server applications. Search on Bibsonomy PPoPP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static-dynamic co-analysis, parallel programs, synchronization, object-oriented programming, debugging, data races, race conditions, multi-threaded programming
16Deeksha Ganju, Loren Schwiebert Using sound for monitoring wireless sensor network behavior. Search on Bibsonomy Middleware (Demos and Posters) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF sensor network, monitoring, debugging, profiling, sound
16Anthony D. Joseph, Almudena Díaz, Pedro Merino 0001, F. Javier Rivas, Umakanth P. Kulkarni, J. V. Vadavi, G. S. Thyagaraju, S. M. Joshi, Anil R. Yardi Mobile and Ubiquitous Objects. Search on Bibsonomy IEEE Pervasive Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF distributed mobile applications, ubiquitous objects, security, communication, access control, middleware, software development, debugging, wireless communication, software deployment
16Liqiang Wang, Scott D. Stoller Runtime Analysis of Atomicity for Multithreaded Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Java, Concurrent programming, atomicity, data race, testing and debugging
16Liang Guo, Abhik Roychoudhury, Tao Wang Accurately Choosing Execution Runs for Software Fault Localization. Search on Bibsonomy CC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Debugging, Programming tools
16Jin Li Peer-to-peer multimedia applications. Search on Bibsonomy ACM Multimedia The full citation details ... 2006 DBLP  DOI  BibTeX  RDF NAT/firewall traversal, P2P economy, erasure resilient coding, scheduling, peer-to-peer, attack, overlay, distributed debugging, peer selection
16Yoshisato Yanagisawa, Kenichi Kourai, Shigeru Chiba A dynamic aspect-oriented system for OS kernels. Search on Bibsonomy GPCE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF profiling and debugging, aspect-oriented programming, operating system, Linux, dynamic AOP
16John W. S. Liu, Mariano P. Consens, Flavio Rizzolo XPlainer-Eclipse: explaining XPath within Eclipse. Search on Bibsonomy ETX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF XML, debugging, program analysis, XPath, Eclipse, data visualization, IDEs
16Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel Using queries for distributed monitoring and forensics. Search on Bibsonomy EuroSys The full citation details ... 2006 DBLP  DOI  BibTeX  RDF declarative overlays, invariant checking, distributed debugging, distributed monitoring
16Tibor Bosse, Dung N. Lam, K. Suzanne Barber Automated analysis and verification of agent behavior. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF tracer, verification of agent systems, reverse engineering, debugging, maintenance, agent-oriented software engineering, software comprehension
16Neeraj Mittal, Vijay K. Garg Techniques and applications of computation slicing. Search on Bibsonomy Distributed Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF analyzing distributed computation, predicate control, global property evaluation, software fault tolerance, testing and debugging, predicate detection
16Suan Hsi Yong, Susan Horwitz Using Static Analysis to Reduce Dynamic Analysis Overhead. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF dynamic debugging, runtime types, static analysis
16Fereydoun Kazemian, Trudy Howles A software testing course for computer science majors. Search on Bibsonomy ACM SIGCSE Bull. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF defect prevention, software testing, debugging, validation and verification
16Trung T. Dinh-Trong, James M. Bieman The FreeBSD Project: A Replication Case Study of Open Source Development. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF qualitative process analysis, reliability, measurement, open source software, maintainability, testing and debugging, Software engineering process, defect density, FreeBSD, process measurement, code ownership, maintenance process
16Paul Vickers, James L. Alty Musical program auralization: Empirical studies. Search on Bibsonomy ACM Trans. Appl. Percept. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF debugging, Music, Pascal, auralization
16Calin Ciordas, Twan Basten, Andrei Radulescu, Kees Goossens, Jef L. van Meerbergen An event-based monitoring service for networks on chip. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF monitoring, debugging, Networks-on-Chip
16Sylvain Piechowiak, Joaquin Rodriguez The Localization and Correction of Errors in Models: A Constraint-Based Approach. Search on Bibsonomy Appl. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF debugging constraint networks, model-based reasoning, constraint reasoning
16Xiangyu Zhang 0001, Rajiv Gupta 0001, Youtao Zhang Cost and precision tradeoffs of dynamic data slicing algorithms. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF pointer references, debugging, Program slicing, data dependences
16Yuehua Lin, Jeff Gray 0001 A comprehensive model transformation approach to automated model construction and evolution. Search on Bibsonomy OOPSLA Companion The full citation details ... 2005 DBLP  DOI  BibTeX  RDF modeling, testing, debugging, model transformation
16W. Eric Wong, J. Jenny Li An Integrated Solution for Testing and Analyzing Java Applications in an Industrial Setting. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF eXVantage, JBT, program debugging, Code coverage, performance profiling, execution slicing
16Winai Wichaipanitch, Mansur H. Samadzadeh, Songsri Tangsripairoj Development and Evaluation of a Slicing-Based C++ Debugger. Search on Bibsonomy ITCC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Slicing and Dicing, Evaluation, Algorithms, Debugging, Dynamic Slicing
16Yuehua Lin, Jeff Gray 0001 A model transformation approach to automatic model construction and evolution. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF modeling, testing, debugging, model transformation
16Tao Wang, Abhik Roychoudhury Automated path generation for software fault localization. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF program comprehension, automated debugging
16Dan Hao 0001, Ying Pan, Lu Zhang 0023, Wei Zhao 0006, Hong Mei 0001, Jiasu Sun A similarity-aware approach to testing based fault localization. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF debugging, fuzzy set, maintenance, fault localization
16Stephan Diehl 0001 Software visualization. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF software architecture, program visualization, algorithm animation, visual debugging
16Joseph R. Ruthruff, Margaret M. Burnett, Gregg Rothermel An empirical study of fault localization for end-user programmers. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF debugging, end-user programming, fault localization, end-user software engineering
16Neeraj Mittal, Vijay K. Garg Finding missing synchronization in a distributed computation using controlled re-execution. Search on Bibsonomy Distributed Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Controlled re-execution, Predicate control, Distributed system, Debugging, Software-fault tolerance
16François Fages, Sylvain Soliman, Rémi Coolen CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF program annotation, visualization, GUI, debugging, constraint programming, search trees
16Randy Stein, Susan Brennan Another person's eye gaze as a cue in solving programming problems. Search on Bibsonomy ICMI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF gaze-based & attentional interfaces, visual co-presence, debugging, eye tracking, programming, mediated communication
16Xiangyu Zhang 0001, Rajiv Gupta 0001 Cost effective dynamic program slicing. Search on Bibsonomy PLDI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF testing, debugging, dynamic dependence graph
16Mohamed Mosbah 0001, Rodrigue Ossamy Checking Global Properties for Local Computations in Graphs with Applications to Invariant Testing. Search on Bibsonomy ENC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF distributed programming languages, distributed systems, distributed debugging, local computations, consistent global states, Global predicates detection
16Philip J. Boland, Harshinder Singh, Bojan Cukic Comparing Partition and Random Testing via Majorization and Schur Functions. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Schur functions, random testing, Partition testing, software debugging, majorization
16Bruce Quig, John Rosenberg, Michael Kölling Supporting interactive invocation of remote services within an integrated programming environment. Search on Bibsonomy PPPJ The full citation details ... 2003 DBLP  BibTeX  RDF distributed Systems, testing, debugging, BlueJ
16Bartosz Balis, Marian Bubak, Wlodzimierz Funika, Roland Wismüller, Grzegorz Kaplita TOM - Efficient Monitoring Infrastructure for Multithreaded Programs. Search on Bibsonomy PVM/MPI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF performance analysis, monitoring, debugging, multithreading, parallel tools
16Steven Robbins Using remote logging for teaching concurrency. Search on Bibsonomy SIGCSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF GUI, concurrent programs, atomic, logging, debugging tools
16Bartosz Balis, Marian Bubak, Wlodzimierz Funika, Roland Wismüller, Grzegorz Kaplita Monitoring Threaded Application with Thread-Enabled OMIS Monitor. Search on Bibsonomy PPAM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF performance analysis, monitoring, debugging, Multithreading, parallel tools
16Neeraj Mittal, Vijay K. Garg Software Fault Tolerance of Distributed Programs Using Computation Slicing. Search on Bibsonomy ICDCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF pruning search-space, software-fault tolerance, testing and debugging, predicate detection, partial-order methods
16Loon-Been Chen, I-Chen Wu An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Conjunctive predicate, distributed system, distributed debugging, global predicate detection
16Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal An Algorithmic Approach to Design Exploration. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF hardware debugging, hardware exploration, Model checking
16Vincent Encontre Is ISSTA research relevant to industrial users? panel - ISSTA 2002: empowering the developer to be a tester too! Search on Bibsonomy ISSTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF UML, testing, debugging, runtime analysis, JUnit
16Thomas Zimmermann 0001, Andreas Zeller Visualizing Memory Graphs. Search on Bibsonomy Software Visualization The full citation details ... 2001 DBLP  DOI  BibTeX  RDF data types and structures, graphs, program understanding, diagnostics, debugging aids
16Allan K. Y. Wong, Tharam S. Dillon, May T. W. Ip, Wilfred W. K. Lin A Generic Visualization Framework to Help Debug Mobile-Object-Based Distributed Programs Running on Large Networks. Search on Bibsonomy WORDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Visualization Data Structures, Public Intranet, reliability, Mobility, debugging, Visualization User Interface
16Natalia Sidorova, Martin Steffen Verification of a wireless ATM medium-access protocol. Search on Bibsonomy APSEC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF medium-access protocol verification, modular structure, SDL specification, abstraction techniques, system debugging, untimed properties, time-dependent properties, model checking, formal specification, formal verification, wireless LAN, asynchronous transfer mode, access protocols, state space reduction, wireless ATM
16Wei-Yu Chen, Sandeep K. Gupta 0001, Melvin A. Breuer Test generation for crosstalk-induced faults: framework and computational result. Search on Bibsonomy Asian Test Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF 2-vector test generation, crosstalk-induced faults, noise effects, design effort, debugging effort, pulses, signal speedup, signal slowdown, digital combinational circuits, mixed-signal test generator, XGEN, static values, dynamic signals, signal arrival times, rise times, fall times, integrated circuit testing, automatic test pattern generation, combinational circuits, accuracy, vectors, circuit analysis computing, crosstalk, transitions, integrated logic circuits, technology scaling, SPICE simulations, gate delay, circuit performance, timing information, clock frequency
16Jacques Chassin de Kergommeaux, Benhur de Oliveira Stein Pajé: An Extensible Environment for Visualizing Multi-threaded Programs Executions. Search on Bibsonomy Euro-Par The full citation details ... 2000 DBLP  DOI  BibTeX  RDF visualization, parallel programming, MPI, pthread, performance debugging
16Ravi B. Konuru, Harini Srinivasan, Jong-Deok Choi Deterministic Replay of Distributed Java Applications. Search on Bibsonomy IPDPS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Java tools, network, debugging, distributed, threads, deterministic replay
16Ralf Hildebrandt, Andreas Zeller Simplifying failure-inducing input. Search on Bibsonomy ISSTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF automated debugging, combinatorial testing
16Katharina Mehner, Annika Wagner Visualizing the Synchronization of Java-Threads with UML. Search on Bibsonomy VL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF object oriented concurrent programming, Java, UML, debugging, program comprehension, software visualization
16Pablo Galdámez, Declan Murphy, José M. Bernabéu-Aubán, Francesc D. Muñoz-Escoí Event-Based Techniques to Debug an Object Request Broker. Search on Bibsonomy J. Supercomput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF software instrumentation, events, Fault Injection, Behavior modeling, Distributed Debugging, Object Request Broker
16J. Jenny Li, Joseph Robert Horgan chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications. Search on Bibsonomy APSEC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF cSuds and Specification and Description Language (SDL), Software specification, debugging tool, coverage testing
16Chenglian Peng, Baifeng Wu, Xiaoguang Sun Test by Distributed Monitoring. Search on Bibsonomy Asian Test Symposium The full citation details ... 1999 DBLP  DOI  BibTeX  RDF testing and debugging, parallel and distributed computers, program instrumentation, on-line monitor
16Gernot Koch, Wolfgang Rosenstiel, Udo Kebschull Breakpoints and breakpoint detection in source-level emulation. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF debugging, high-level synthesis, VHDL, emulation
16Hal Wasserman, Manuel Blum 0001 Software reliability via run-time result-checking. Search on Bibsonomy J. ACM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF self-correcting, fault tolerance, debugging, Fourier transform, concurrent error detection, built-in testing, result-checking
16Marita Dücker, Georg Lehrenfeld, Wolfgang Müller 0003, Christoph Tahedl A generic system for interactive real-time animation. Search on Bibsonomy ECBS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF interactive real-time animation, interactive design environment, interactive analysis environment, editor animator, editor interpreter, interpreter-animator interaction, logical level executions, animator triggering, Pictorial Janus visual programming language, architecture, interface, automation, visual languages, visual languages, liveness, interactive animation, generic system, debugging environment
16Francoise Balmas Toward a Framework for Conceptual and Formal Outlines of Programs. Search on Bibsonomy WCRE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF formal program outlines, conceptual program outlines, program re-documentation, computation localization, code role identification, PRISME system, automatic outline construction, Lisp looping functions, reverse specification, model, reverse engineering, debugging, program understanding, loops
16Alan R. Shealy, Brian A. Malloy, David A. Sykes SIMx86: An extensible simulator for the Intel 80×86 processor family. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 1997 DBLP  DOI  BibTeX  RDF SIMx86, extensible simulator, Intel 80/spl times/86, Intel 8088 processor, 8086 processor, debugging facilities, simulator construction, virtual machines, domain model, performance gains, processor simulators
16Dieter Kranzlmüller, Siegfried Grabner, Jens Volkert Using Control and Data Flow Analysis for Race Evaluation. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF event manipulation, Debugging, program analysis, race conditions
16Esin Gokkoca, Mehmet Altinel, Ibrahim Cingil, Nesime Tatbul, Pinar Koksal, Asuman Dogac Design and Implementation of a Distributed Workflow Enactment Service. Search on Bibsonomy CoopIS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF distributed workflow enactment service, coordinated task execution, processing entities, distributed heterogeneous environments, commercial workflow systems, block-structured workflow specification language, process instance distributed scheduling, system debugging, execution efficiency, performance, distributed processing, messages, system testing, workflow schedulers, failure resiliency
16Mary Beth Rosson, John M. Carroll 0001 The Reuse of Uses in Smalltalk Programming. Search on Bibsonomy ACM Trans. Comput. Hum. Interact. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF debugging into existence, reuse of uses, usage context, Smalltalk, example-based learning
16Igor T. Hawryszkiewycz, Ian Gorton Distributing the Software Process. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 1996 DBLP  DOI  BibTeX  RDF geographically distributed software development, team structures, mission oriented teams, groupware, groupware, software development, software process, CASE tools, software development management, debugging tools
16Jianxin Xiong, Dingxing Wang Analyzing Nondeterminacy of Message Passing Programs. Search on Bibsonomy ISPAN The full citation details ... 1996 DBLP  DOI  BibTeX  RDF message passing, trace analysis, Parallel debugging
16Patrick Coscas, Gilles Fouquier, Agnes Lanusse Modelling actor programs using Predicate/Transition nets. Search on Bibsonomy PDP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF actor programs, translation scheme, PRAL-M, PTN, visualizing, parallel programming, Petri nets, data structures, data structures, debugging, parallel machines, formalism, high-level Petri nets, concurrent computation, Predicate/Transition nets
16Xiaohan Qin, Jean-Loup Baer A comparative study of conservative and optimistic trace-driven simulations. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF optimistic trace-driven simulations, conservative trace-driven simulations, parallel trace driven simulation, parallel simulation schemes, shared references, Time Warp like algorithm, debugging effort, general architectural simulation, optimistic scheme, parallel algorithms, parallel architectures, virtual machines, multiprocessing systems, multiprocessor systems, memory hierarchy, memory architecture, comparative study, time warp simulation
16Mark Minas Detecting Quantified Global Predicates in Parallel Programs. Search on Bibsonomy Euro-Par The full citation details ... 1995 DBLP  DOI  BibTeX  RDF parallel debugger, testing, debugging, Global predicates
16Andy Schürr, Andreas J. Winter 0001, Albert Zündorf Visual Programming with Graph Rewriting Systems. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multiparadigm language, PROGRES, rule-oriented visual language, well-defined type, visual database programming language, replacing facilities, language-specific tools, user interfaces, specification, logic programming, debugging, software tools, C, programming environments, pattern matching, specification languages, rapid prototyping, browsing, visual programming, visual programming, visual languages, abstract data types, graph grammars, backtracking, Modula-2, rewriting systems, editing, software engineering environments, logic programming languages, graph rewriting systems, Tcl/Tk
16Jong-Deok Choi, Jeanne Ferrante Static Slicing in the Presence of Goto Statements. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF testing, debugging, program analysis, slicing
16Twan Basten Breakpoints and Time in Distributed Computations. Search on Bibsonomy WDAG The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Vector time, Causality, Distributed debugging, Breakpoints, Global states
16Helmar Burkhart, Rudolf Eigenmann, Heinz Kindlimann, Michael Moser, Heinz Scholian The M3 Multiprocessor Laboratory. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF M/sup 3/ multiprocessor laboratory, integrated programming environment, softwaredevelopment cycle, parallel program, parallel programming, debugging, programming, programming environments, performance measurement, configuration
16Goetz Graefe, Diane L. Davison Encapsulation of Parallelism and Architecture-Independence in Extensible Database Query Execution. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF extensible database query execution, database application domains, high functionality, Volcano query execution engine, query processing operators, arbitrarily complex query evaluation plans, data manipulation operators, exchange operator, generalized exchange operator, database query processing software, bit vector filtering, parallel programming, parallelism, query processing, debugging, distributed databases, computer architectures, high performance, hierarchical architectures
16Charles Rich, Yishai A. Feldman Seven Layers of Knowledge Representation and Reasoning in Support of Software Development. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Programmer's Apprentice, Cake, truth maintenance, Boolean constraint propagation, Plan Calculus, Requirements Apprentice, Debugging Assistant, software engineering, knowledge representation, knowledge representation, software development, software tools, reasoning, types, inference mechanisms, frames, algebra, equality, software development tools
16Marc Eisenstadt, John Domingue, Tim Rajan, Enrico Motta Visual Knowledge Engineering. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF visual knowledge engineering, knowledge encoding, knowledge representation formalisms, large-scale debugging, graphical rule traces, complementary visual programming, KEATS, hypertext transcript analyzer, direct graph manipulation sketchpad, dependency viewers, logical rule dependencies, programming environments, knowledge acquisition, visual programming, knowledge engineering, program visualization, software environment
16Nicoletta De Francesco, Gigliola Vaglini Description of a Tool for Specifying and Prototyping Concurrent Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF executable concurrent programs, static semantics checks, scheduling, parallel programming, parallel programming, prototyping, debugging, software tools, programming environments, programming environments, specification language, specification languages, distributed applications, translation, automatic programming, automatic programming, functional language, program interpreters, concurrent language, interactive tools, dynamic testing
16Christophe Dony An Object-Oriented Exception Handling System for an Object-Oriented Language. Search on Bibsonomy ECOOP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Fault-tolerant encapsulations, Resumption model, Object-oriented programming, Exception handling, Debugging environments
12Robert Law Using student blogs for documentation in software development projects. Search on Bibsonomy ITiCSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
12Peter Alvaro, Tyson Condie, Neil Conway, Khaled Elmeleegy, Joseph M. Hellerstein, Russell Sears Boom analytics: exploring data-centric, declarative programming for the cloud. Search on Bibsonomy EuroSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF cloud computing, datalog, mapreduce
12Yunji Chen, Weiwu Hu, Tianshi Chen 0002, Ruiyang Wu LReplay: a pending period based deterministic replay scheme. Search on Bibsonomy ISCA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF global clock, pending period, physical time order, multi-core processor, deterministic replay, dfd
12Arrvindh Shriraman, Sandhya Dwarkadas Sentry: light-weight auxiliary memory access control. Search on Bibsonomy ISCA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF sentry, access control, multiprocessors, safety, cache coherence, memory protection, protection domains
12Seheon Hwang, Hoang Pham Quasi-Renewal Time-Delay Fault-Removal Consideration in Software Reliability Modeling. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12Manuel Wimmer, Gerti Kappel, Johannes Schönböck, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger TROPIC: a framework for model transformations on petri nets in color. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model transformation, colored petri nets
12Manuel Wimmer, Angelika Kusel, Thomas Reiter 0001, Werner Retschitzegger, Wieland Schwinger, Gerti Kappel Lost in Translation? Transformation Nets to the Rescue! Search on Bibsonomy UNISCON The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Model transformation, Colored Petri Nets, runtime model
12Rui Abreu 0001, Wolfgang Mayer, Markus Stumptner, Arjan J. C. van Gemund Refining spectrum-based fault localization rankings. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF abstract interpretation, fault localization, program spectra
12Andreas Stefik, Andrew Haywood, Shahzada Mansoor, Brock Dunda, Daniel D. Garcia SODBeans. Search on Bibsonomy ICPC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #901 - #1000 of 5653 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license