Search results for "debugging"

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