|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 883 occurrences of 557 keywords
|
|
|
Results
Found 1206 publication records. Showing 1206 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
9 | Chinghway Lim, Navjot Singh 0001, Shalini Yajnik |
A log mining approach to failure analysis of enterprise telephony systems. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Sebastien Siva, Lesi Wang |
A SQL database system for solving constraints. |
PIKM |
2008 |
DBLP DOI BibTeX RDF |
SQL, satisfiability (sat), constraint databases |
9 | Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst |
Enforcing reference and object immutability in Java. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
IGJ, java, verification, compiler, case study, type system, polymorphism, assignable, bug finding, flow-sensitive, readonly, immutability, mutable, javac |
9 | Jing Jin, Romeo Sanchez, Rajiv T. Maheswaran, Pedro A. Szekely |
VizScript: on the creation of efficient visualizations for understanding complex multi-agent systems. |
IUI |
2008 |
DBLP DOI BibTeX RDF |
multi-agent systems, software visualization, rule-based systems, scripting languages |
9 | Kevin Camera, Robert W. Brodersen |
An integrated debugging environment for FPGA computing platforms. |
FPGA |
2008 |
DBLP DOI BibTeX RDF |
simulation, FPGA, design, verification |
9 | Zhiyong Zhang, Tiejun Lu, Xiaobin Chu, Yamin Zhang |
Design and Implementation Of Embedded Data Acquisition System Based on USB and Flash Multimediacard Memory. |
ICDS |
2008 |
DBLP DOI BibTeX RDF |
Enbedded system, Data Acquisition System, USB, HW/SW co-design |
9 | Ho Fai Ko, Nicola Nicolici |
On Automated Trigger Event Generation in Post-Silicon Validation. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Wido Kruijtzer, Pieter van der Wolf, Erwin A. de Kock, Jan Stuyt, Wolfgang Ecker, Albrecht Mayer, Serge Hustin, Christophe Amerijckx, Serge de Paoli, Emmanuel Vaumorin |
Industrial IP Integration Flows based on IP-XACT Standards. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Mohammad Fraiwan, Manimaran Manimaran |
Localization of IP Links Faults Using Overlay Measurements. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Mingze Zhang, Mun Choon Chan, Akkihebbal L. Ananda |
Location-Aided Topology Discovery for Wireless Sensor Networks. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Liang-Bi Chen, Yung-Chih Liu, Chen-Hung Chen, Chung-Fu Kao, Ing-Jer Huang |
Parameterized embedded in-circuit emulator and its retargetable debugging software for microprocessor/microcontroller/DSP processor. |
ASP-DAC |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Maria S. W. Lam, Eric Ying Kwong Chan, Victor C. S. Lee, Yuen-Tak Yu |
Designing an Automatic Debugging Assistant for Improving the Learning of Computer Programming. |
ICHL |
2008 |
DBLP DOI BibTeX RDF |
automatic debugging assistant, PASS, test cases and annotations, computer programming |
9 | Lacey Montgomery, James H. Cross II, T. Dean Hendrix, Larry A. Barowski |
Testing the jGRASP structure identifier with data structure examples from textbooks. |
ACM Southeast Regional Conference |
2008 |
DBLP DOI BibTeX RDF |
testing, data structures, program visualization, algorithm animation |
9 | Andrew R. Dalton, Jason O. Hallstrom |
A Toolkit for Visualizing the Runtime Behavior of TinyOS Applications. |
ICPC |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Jae-Yong Yoo, Thomas Huehn, JongWon Kim 0001 |
Active capture of wireless traces: overcome the lack in protocol analysis. |
WINTECH |
2008 |
DBLP DOI BibTeX RDF |
IEEE 802.11, wireless mesh networks, active monitoring, measurement tool |
9 | Jae-Yong Yoo, Thomas Huehn, JongWon Kim 0001 |
PaPMo: packet accurate protocol monitoring system. |
WINTECH |
2008 |
DBLP DOI BibTeX RDF |
wireless mesh networks, active monitoring, measurement tool |
9 | Jeremy Kepner |
Multicore programming in pMatlab using distributed arrays. |
CLADE |
2008 |
DBLP DOI BibTeX RDF |
parallel computing, distributed arrays |
9 | Mechelle Gittens, Pramod Gupta, David Godwin, Hebert Pereyra, Jeff Riihimaki |
Focused iterative testing: a test automation case study. |
DBTest |
2008 |
DBLP DOI BibTeX RDF |
testing, database management systems, multi-threaded |
9 | Warren Shen, Pedro DeRose, Robert McCann, AnHai Doan, Raghu Ramakrishnan 0001 |
Toward best-effort information extraction. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
information extraction, approximate, best-effort |
9 | Han Wan, Xiaopeng Gao |
ArmSim: A Complete System Simulation Environment of the ARM Embedded System. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Timothy Richards, Edward K. Walters II, J. Eliot B. Moss, Trek S. Palmer, Charles C. Weems |
Towards universal code generator generation. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Christos Kotselidis, Mohammad Ansari, Kim Jarvis, Mikel Luján, Chris C. Kirkham, Ian Watson |
Investigating software Transactional Memory on clusters. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Nitesh V. Chawla, Douglas Thain, Ryan Lichtenwalter, David A. Cieslak |
Data mining on the grid for the grid. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Don S. Batory |
Using modern mathematics as an FOSD modeling language. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
commuting diagrams, software product lines, features, geodesics, model driven design |
9 | Timothée Maret, Raphaël Kummer, Peter G. Kropf, Jean-Frédéric Wagen |
Freemote Emulator: A Lightweight and Visual Java Emulator for WSN. |
WWIC |
2008 |
DBLP DOI BibTeX RDF |
Lightweight Emulator, Java Based Motes, Freemote, Wireless Sensor Networks |
9 | Marie-Hélène Nienaltowski, Michela Pedroni, Bertrand Meyer 0001 |
Compiler error messages: what can help novices? |
SIGCSE |
2008 |
DBLP DOI BibTeX RDF |
compiler error messages, novice programmers |
9 | Luca Cittadini, Tiziana Refice, Alessio Campisano, Giuseppe Di Battista, Claudio Sasso |
Measuring and visualizing interdomain routing dynamics with BGPATH. |
ISCC |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Miron Abramovici, Kees Goossens, Bart Vermeulen, Jack Greenbaum, Neal Stollon, Adam Donlin |
You can catch more bugs with transaction level honey. |
CODES+ISSS |
2008 |
DBLP DOI BibTeX RDF |
system diagnostics, transaction-level models |
9 | Ryan Iwahashi, Daniela Alvim Seabra de Oliveira, Shyhtsun Felix Wu, Jedidiah R. Crandall, Young-Jun Heo, Jintae Oh, Jong-Soo Jang |
Towards Automatically Generating Double-Free Vulnerability Signatures Using Petri Nets. |
ISC |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Branislav Simo, Ondrej Habala, Emil Gatial, Ladislav Hluchý |
Interactive In-Job Workflows. |
ICCS (1) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Yoav Hollander |
Is Verification Getting Too Complex? |
Haifa Verification Conference |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Yi-Ting Lin, Chien-Chou Wang, Ing-Jer Huang |
AMBA AHB bus potocol checker with efficient debugging mechanism. |
ISCAS |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
A Theoretical Framework for the Declarative Debugging of Datalog Programs. |
SDKB |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Roman Vaculín, Katia P. Sycara |
Semantic Web Services Monitoring: An OWL-S Based Approach. |
HICSS |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Cecilia Metra, Martin Omaña 0001, T. M. Mak, Asifur Rahman, Simon Tam 0001 |
Novel On-Chip Clock Jitter Measurement Scheme for High Performance Microprocessors. |
DFT |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Hermann S. Lichte, Stefan Valentin |
Implementing MAC protocols for cooperative relaying: a compiler-assisted approach. |
SimuTools |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Ming-Chien Tsai, Ching-Hwa Cheng, Chiou-Mao Yang |
An All-Digital High-Precision Built-In Delay Time Measurement Circuit. |
VTS |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Jens Palsberg |
Verification of Register Allocators. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin |
Runtime Checking for Separation Logic. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Shawn Singh, Mishali Naik, Mubbasir Kapadia, Petros Faloutsos, Glenn Reinman |
Watch Out! A Framework for Evaluating Steering Behaviors. |
MIG |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Petros Efstathopoulos, Eddie Kohler |
Manageable fine-grained information flow. |
EuroSys |
2008 |
DBLP DOI BibTeX RDF |
decentralized information flow control, debugging, labels, policy language |
9 | Vitaliy B. Lvin, Gene Novark, Emery D. Berger, Benjamin G. Zorn |
Archipelago: trading address space for reliability and security. |
ASPLOS |
2008 |
DBLP DOI BibTeX RDF |
Archipelago, probabilistic memory safety, randomized algorithms, virtual memory, buffer overflow, dynamic memory allocation, memory errors |
9 | Eshel Haritan, Toshihiro Hattori, Hiroyuki Yagi, Pierre G. Paulin, Wayne H. Wolf, Achim Nohl, Drew Wingard, Mike Muller |
Multicore design is the challenge! what is the solution? |
DAC |
2008 |
DBLP DOI BibTeX RDF |
heterogeneous/homogenous multicore, symmetric/asymmetric multicore, multiprocessors, interconnect, multi-core, MPSoC, programming model, virtual prototyping, ESL, virtual platforms |
9 | Tsong Yueh Chen, Robert G. Merkel |
Quasi-Random Testing. |
IEEE Trans. Reliab. |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Dimitris Gizopoulos, Robert C. Aitken, Sandip Kundu |
Guest Editorial: Special Section on "Autonomous Silicon Validation and Testing of Microprocessors and Microprocessor-Based Systems". |
IEEE Trans. Very Large Scale Integr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
9 | João Rodrigues, João Ventura 0001, A. M. de Campos, Luís E. T. Rodrigues |
Implementation and analysis of real-time communication protocol compositions. |
Real Time Syst. |
2007 |
DBLP DOI BibTeX RDF |
Protocol composition and execution framework, Real-time, Schedulability analysis, Allocation, Priority assignment |
9 | Beth Simon, Sue Fitzgerald, Renée McCauley, Susan M. Haller, John Hamer, Brian Hanks, Michael T. Helmick, Jan Erik Moström, Judy Sheard, Lynda Thomas |
Debugging assistance for novices: a video repository. |
ACM SIGCSE Bull. |
2007 |
DBLP DOI BibTeX RDF |
Java, web 2.0, debugging, video, CS1, introductory programming, novice programmers |
9 | 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 |
9 | Mack W. Riley, Mike Genden |
Cell Broadband Engine Debugging for Unknown Events. |
IEEE Des. Test Comput. |
2007 |
DBLP DOI BibTeX RDF |
unknown events, high-speed processors, debugging, Cell Broadband Engine |
9 | Chin-Lung Chuang, Wei-Hsiang Cheng, Dong-Jung Lu, Chien-Nan Jimmy Liu |
Hybrid Approach to Faster Functional Verification with Full Visibility. |
IEEE Des. Test Comput. |
2007 |
DBLP DOI BibTeX RDF |
simulator, emulator, visibility, hybrid, functional verification, debugging environment |
9 | John H. Kelm, Isaac Gelado, Mark J. Murphy, Nacho Navarro, Steven S. Lumetta, Wen-mei W. Hwu |
CIGAR: Application Partitioning for a CPU/Coprocessor Architecture. |
PACT |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Benjamin D. Rister, Jason Campbell, Padmanabhan Pillai, Todd C. Mowry |
Integrated Debugging of Large Modular Robot Ensembles. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Donny Kurniawan, David Abramson 0001 |
An Integrated Grid Development Environment in Eclipse. |
eScience |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Jing Yang 0003, Mary Lou Soffa, Leo Selavo, Kamin Whitehouse |
Clairvoyant: a comprehensive source-level debugger for wireless sensor networks. |
SenSys |
2007 |
DBLP DOI BibTeX RDF |
embedded debugging, wireless sensor networks, distributed debugging, source-level debugging |
9 | Aurélien Bouteiller, George Bosilca, Jack J. Dongarra |
Retrospect: Deterministic Replay of MPI Applications for Interactive Distributed Debugging. |
PVM/MPI |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Rajesh Thirugnanam, Dong Sam Ha, T. M. Mak |
Data Recovery Block Design for Impulse Modulated Power Line Communications in a Microprocessor. |
ISVLSI |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Michael Hübner 0001, Lars Braun, Jürgen Becker 0001, Christopher Claus, Walter Stechele |
Physical Configuration On-Line Visualization of Xilinx Virtex-II FPGAs. |
ISVLSI |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Dolev Dotan, Andrei Kirshin |
Debugging and testing behavioral UML models. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
UML, software development, debugging, profiles, state machines, activities |
9 | Sean McDirmid |
Living it up with a live programming language. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
live programming |
9 | Jing Jin, Rajiv T. Maheswaran, Romeo Sanchez, Pedro A. Szekely |
VizScript: visualizing complex interactions in multi-agent systems. |
IUI |
2007 |
DBLP DOI BibTeX RDF |
multi-agent systems, software visualization, rule-based systems, scripting languages |
9 | Nathan Woods |
Integrating FPGAs in high-performance computing: the architecture and implementation perspective. |
FPGA |
2007 |
DBLP DOI BibTeX RDF |
compute acceleration, high-performance computinghigh-performance computing, reconfigurable computing, co-processor |
9 | Wenping Xiao, Chang Yan Chi, Min Yang |
On-line collaborative software development via wiki. |
Int. Sym. Wikis |
2007 |
DBLP DOI BibTeX RDF |
software engineering, wiki, collaborative programming |
9 | Yu Huang 0005 |
Dynamic learning based scan chain diagnosis. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Julie Ferrigno, Philippe Perdu, Kevin Sanchez, Dean Lewis |
Identification of process/design issues during 0.18 µm technology qualification for space application. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Thuyen Le, Tilman Glökler, Jason Baumgartner |
Formal verification of a pervasive interconnect bus system in a high-performance microprocessor. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Peter Kemper, Carsten Tepper |
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Jonathan C. Rowanhill, Glenn S. Wasson, Zach Hill, Jim Basney, Yuliyan Kiryakov, John C. Knight, Anh Nguyen-Tuong, Andrew S. Grimshaw, Marty Humphrey |
Dynamic System-Wide Reconfiguration of Grid Deployments in Response to Intrusion Detections. |
HPCC |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Xiao Hu, Pengyong Ma, Shuming Chen |
Scheduling for Combining Traffic of On-Chip Trace Data in Embedded Multi-core Processor. |
ICESS |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Philipp Graf, Michael Hübner 0001, Klaus D. Müller-Glaser, Jürgen Becker 0001 |
A Graphical Model-Level Debugger for Heterogenous Reconfigurable Architectures. |
FPL |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Alejandro Javier García, Nicolás D. Rotstein, Guillermo Ricardo Simari |
Dialectical Explanations in Defeasible Argumentation. |
ECSQARU |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Samuel Thibault, Raymond Namyst, Pierre-André Wacrenier |
Building Portable Thread Schedulers for Hierarchical Multiprocessors: The BubbleSched Framework. |
Euro-Par |
2007 |
DBLP DOI BibTeX RDF |
Scheduling, Multi-Core, Threads, SMP, SMT, NUMA, Bubbles |
9 | Liviu Iftode, Christine Morin, Marios D. Dikaiakos, Erich Focht |
Topic 1 Support Tools and Environments. |
Euro-Par |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Young-Joo Kim, Jae-Seon Lim, Yong-Kee Jun |
Scalable Thread Visualization for Debugging Data Races in OpenMP Programs. |
GPC |
2007 |
DBLP DOI BibTeX RDF |
OpenMP programs, data race debugging, scalable thread visualization, three-dimensional visualization |
9 | Mi-Young Park, Su Jeong Shim, Yong-Kee Jun, Hyuk-Ro Park |
MPIRace-Check: Detection of Message Races in MPI Programs. |
GPC |
2007 |
DBLP DOI BibTeX RDF |
message races, MPIRace-Check, debugging, message-passing programs |
9 | Peter Kemper |
A trace-based visual inspection technique to detect errors in simulation models. |
WSC |
2007 |
DBLP DOI BibTeX RDF |
|
9 | W. Eric Wong, Yu Qi, Lei Zhao, Kai-Yuan Cai |
Effective Fault Localization using Code Coverage. |
COMPSAC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Steve Quenette, Louis Moresi, P. D. Sunter, Bill F. Appelbe |
Explaining StGermain: An aspect oriented environment for building extensible computational mechanics modeling software. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Ryan Culpepper, Matthias Felleisen |
Debugging macros. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
|
9 | James H. Cross II, T. Dean Hendrix, Jhilmil Jain, Larry A. Barowski |
Dynamic object viewers for data structures. |
SIGCSE |
2007 |
DBLP DOI BibTeX RDF |
data structures, program visualization, algorithm animation |
9 | Jan Wen Voung, Ranjit Jhala, Sorin Lerner |
RELAY: static race detection on millions of lines of code. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
static analysis, race detection |
9 | David Castells-Rufas, Jordi Carrabina |
Jumble: A Hardware-in-the-Loop Simulation System for JHDL. |
FCCM |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Gang Qian, Yisheng Dong |
Tracing Data Transformations: A Preliminary Report. |
DASFAA |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Jaehoon Song, Hyunbean Yi, Juhee Han, Sungju Park |
An Efficient Link Controller for Test Access to IP Core-Based Embedded System Chips. |
Asia-Pacific Computer Systems Architecture Conference |
2007 |
DBLP DOI BibTeX RDF |
Embedded System, Wrapper, Boundary Scan, Test Access Mechanism, SoC Testing |
9 | James A. Jones, Mary Jean Harrold, James F. Bowring |
Debugging in Parallel. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
execution clustering, empirical study, program analysis, fault localization, automated debugging |
9 | Barry Kingsbury |
Organizing processes and threads for debugging. |
PADTAD |
2007 |
DBLP DOI BibTeX RDF |
|
9 | James Cheney, Alberto Momigliano |
Mechanized metatheory model-checking. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
counterexample search, model checking, nominal logic |
9 | Robin Abraham, Martin Erwig, Scott Andrew |
A Type System Based on End-User Vocabulary. |
VL/HCC |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Orest Pilskalns, Scott Wallace, Filaret Ilas |
Runtime Debugging Using Reverse-Engineered UML. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Andrew B. T. Hopkins, Klaus D. McDonald-Maier, Evangelos Papoutsis, W. Gareth J. Howells |
Ensuring data integrity via ICmetrics based security infrastructure. |
AHS |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Lilian Janin, Doug Edwards |
CSP Transactors for Asynchronous Transaction Level Modeling and IP Reuse. |
ICCSA (3) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Shilpa Gulati, Edwin H. Jung, Chetan Kapoor |
Execution Engine for Robotic Surgery Support Functions in an Unmanned Operating Room. |
CIRA |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Pavel V. Skribtsov, Pavel A. Kazantsev, Svetlana V. Korobkova, Dmitry V. Pantiukhin, Ilia M. Voronkov, Alexander I. Galushkin, Georgiy P. Ostapenko, Artem M. Lodyagin |
"Neuromathematics" - Open platform to accelerate complex applied math problems solutions using neural network algorithms. |
IJCNN |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Jun Chen 0018, Steve MacDonald |
Testing concurrent programs using value schedules. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
value schedule, model checking, concurrent |
9 | Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sarfraz Khurshid |
Assertion-based repair of complex data structures. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
assertion-driven development, systematic search, symbolic execution, error recovery, data structure repair |
9 | Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer 0001 |
Efficient unit test case minimization. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
unit testing, minimization, slicing |
9 | Alex Kinneer, Matthew B. Dwyer, Gregg Rothermel |
Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Simon Marlow, José Iborra, Bernard J. Pope, Andy Gill |
A lightweight interactive debugger for haskell. |
Haskell |
2007 |
DBLP DOI BibTeX RDF |
debugging, lazy evaluation |
9 | Andrew A. Chien |
Pervasive parallel computing: an historic opportunity for innovation in programming and architecture. |
PPoPP |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Vijayanand Nagarajan, Dennis Jeffrey, Rajiv Gupta 0001, Neelam Gupta |
ONTRAC: A system for efficient ONline TRACing for debugging. |
ICSM |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Thomas Østerlie, Alf Inge Wang |
Debugging Integrated Systems: An Ethnographic Study of Debugging Practice. |
ICSM |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #801 - #900 of 1206 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|