|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 509 occurrences of 358 keywords
|
|
|
Results
Found 634 publication records. Showing 633 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
145 | Mark D. Apperley, Dale Fletcher, William J. Rogers 0001 |
Breaking the Copy/Paste Cycle: The Stretchable Selection Tool. |
AUIC |
2000 |
DBLP DOI BibTeX RDF |
Multiple Selection, Transparent Overlay, Augmented Pointer, Collaborative, Cut and Paste, Copy and Paste, Paste |
115 | Jeffrey Stylos, Brad A. Myers, Andrew Faulring |
Citrine: providing intelligent copy-and-paste. |
UIST |
2004 |
DBLP DOI BibTeX RDF |
web-pasting, intelligent user interfaces, copy-and-paste |
106 | Robert C. Crida, Andrew J. Stoddart, John Illingworth |
Using PCA to Model Shape for Process Control. |
3DIM |
1997 |
DBLP DOI BibTeX RDF |
surface mount components, solder paste, electrical connection, screen printing process, laser range scanner principal component analysis, solder paste shape, process control loop, shape analysis, process control, process control, shape modelling |
103 | Olivier Chapuis, Nicolas Roussel 0001 |
Copy-and-paste between overlapping windows. |
CHI |
2007 |
DBLP DOI BibTeX RDF |
overlapping windows, window management, copy-and-paste |
94 | Zhenmin Li, Shan Lu 0001, Suvda Myagmar, Yuanyuan Zhou 0001 |
CP-Miner: Finding Copy-Paste and Related Bugs in Large-Scale Software Code. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
data mining, Software analysis, code reuse, debugging aids, code duplication |
81 | Xinyu Wu 0001, Wingkwong Chung, Hang Tong, Jun Cheng 0002, Yangsheng Xu |
A New Solder Paste Inspection Device: Design and Algorithm. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
77 | Patricia Jablonski, Daqing Hou |
CReN: a tool for tracking copy-and-paste code clones and renaming identifiers consistently in the IDE. |
ETX |
2007 |
DBLP DOI BibTeX RDF |
consistent renaming, copy-and-paste programming, intent inference, Java, error detection, code clone, abstract syntax tree, Eclipse integrated development environment |
77 | Xujia Qin, Xinhua Yang, Hongbo Zheng |
Implicit Surface Boolean Operations Based Cut-and-Paste Algorithm for Mesh Models. |
ICAT |
2006 |
DBLP DOI BibTeX RDF |
mesh models, point models, implicit surface, Boolean operations, Cut-and-paste |
69 | Jian Chang, Jian J. Zhang 0001, Lihua You |
Physically-based deformations: copy and paste. |
Vis. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Computer animation, Deformation, Physically-based modeling |
69 | Glen A. Wallace, Robert Biddle, Ewan D. Tempero |
Smarter Cut-and-Paste for Programming Text Editors. |
AUIC |
2001 |
DBLP DOI BibTeX RDF |
|
65 | Reid Kerr, Wolfgang Stürzlinger |
Context-sensitive cut, copy, and paste. |
C3S2E |
2008 |
DBLP DOI BibTeX RDF |
code development, context sensitive code, development environment, cut, copy, programming errors, paste |
65 | Patricia Jablonski |
Managing the copy-and-paste programming practice in modern IDEs. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
code management, copy-and-paste programming, intent inference, Java, error detection, code clone, abstract syntax tree |
65 | Sebastian Niezgoda, Thomas P. Way |
SNITCH: a software tool for detecting cut and paste plagiarism. |
SIGCSE |
2006 |
DBLP DOI BibTeX RDF |
automated grading tools, cut and paste plagiarism, ethics, cheating, plagiarism detection |
58 | Manuvir Das |
PASTE at Microsoft. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
|
56 | Xiaowen Lou, Daming Zhu |
A 2.25-Approximation Algorithm for Cut-and-Paste Sorting of Unsigned Circular Permutations. |
COCOON |
2008 |
DBLP DOI BibTeX RDF |
|
56 | Henning Biermann, Ioana M. Martin, Fausto Bernardini, Denis Zorin |
Cut-and-paste editing of multiresolution surfaces. |
ACM Trans. Graph. |
2002 |
DBLP DOI BibTeX RDF |
|
56 | Karen E. Andrésen |
From Pencils and Paste-Ups to VDTs and the Integrated Page: Some Thoughts on the State-of-the-Art. |
SIGDOC |
1985 |
DBLP DOI BibTeX RDF |
|
51 | Lisa Rebenitsch, Delaina Engle, Gabrielle A. Strouse, Isaac Egermier, Manasi Paste, Morgan Vagts |
Ease of Use and Preferences Across Virtual Reality Displays. |
HCI (16) |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Volker Roth 0002, Thea Turner |
Bezel swipe: conflict-free scrolling and multiple selection on mobile touch screen devices. |
CHI |
2009 |
DBLP DOI BibTeX RDF |
cut paste, mode change, multiple selection, swipe, zoomable, mobile device, gesture, handheld, zooming, iphone, small display, study, touch interaction, crossing |
47 | Aaron Bauer 0001, Kenneth R. Koedinger |
Selection-based note-taking applications. |
CHI |
2007 |
DBLP DOI BibTeX RDF |
copy-paste, education, annotation, note-taking |
47 | Andrei Sharf, Marina Blumenkrants, Ariel Shamir, Daniel Cohen-Or |
SnapPaste: an interactive technique for easy mesh composition. |
Vis. Comput. |
2006 |
DBLP DOI BibTeX RDF |
User-interface, Meshes, Interactive tools, Snapping, Cut-and-paste |
43 | Shigeru Owada, Frank Nielsen, Takeo Igarashi |
Copy-Paste Synthesis of 3D Geometry with Repetitive Patterns. |
Smart Graphics |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Fang-Chung Yang, Chung-Hsien Kuo, Jein-Jong Wing, Ching-Kun Yang |
Reconstructing the 3D solder paste surface model using image processing and artificial neural network. |
SMC (3) |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Miryung Kim, Lawrence D. Bergman, Tessa A. Lau, David Notkin |
An Ethnographic Study of Copy and Paste Programming Practices in OOPL. |
ISESE |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Hongbo Fu 0001, Chiew-Lan Tai, Hongxin Zhang 0001 |
Topology-Free Cut-and-Paste Editing over Meshes. |
GMP |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Yoshiyuki Furukawa, Hiroshi Masuda, Kenjiro T. Miura 0001, Hiroyuki Yamato |
Cut-and-Paste Editing Based on Constrained B-spline Volume Fitting. |
Computer Graphics International |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Wayne Citrin, Daniel Broodsky, Jeffrey D. McWhirter |
Style-Based Cut-and-Paste in Graphical Editors. |
Advanced Visual Interfaces |
1994 |
DBLP DOI BibTeX RDF |
|
43 | Guillaume Faure, Olivier Chapuis, Nicolas Roussel 0001 |
Power tools for copying and moving: useful stuff for your desktop. |
CHI |
2009 |
DBLP DOI BibTeX RDF |
drag-and-drop, cut-and-paste, copy-and-paste |
40 | Stephen N. Freund, Corina S. Pasareanu (eds.) |
ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE '13, Seattle, WA, USA, June 20, 2013 |
PASTE |
2013 |
DBLP BibTeX RDF |
|
40 | Peter Dinges, Minas Charalambides, Gul Agha |
Automated inference of atomic sets for safe concurrent execution. |
PASTE |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Charng-Da Lu |
Automatically mining program build information via signature matching. |
PASTE |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Aibek Sarimbekov, Andreas Sewe, Stephen Kell, Yudi Zheng, Walter Binder, Lubomír Bulej, Danilo Ansaloni |
A comprehensive toolchain for workload characterization across JVM languages. |
PASTE |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Varun Modi, Subhajit Roy 0001, Sanjeev K. Aggarwal |
Exploring program phases for statistical bug localization. |
PASTE |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Matej Vitásek, Walter Binder, Matthias Hauswirth |
ShadowData: shadowing heap objects in Java. |
PASTE |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Masahiro Yasugi, Yuki Matsuda 0006, Tomoharu Ugawa |
A proper performance evaluation system that summarizes code placement effects. |
PASTE |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Thomas Ball, Peli de Halleux, Nikhil Swamy, Daan Leijen |
Increasing human-tool interaction via the web. |
PASTE |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Jeff Foster, Lori L. Pollock (eds.) |
Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, PASTE'11, Szeged, Hungary, September 5-9, 2011 |
PASTE |
2011 |
DBLP BibTeX RDF |
|
40 | Dawei Qi, Minh Ngoc Ngo, Tao Sun, Abhik Roychoudhury |
Locating failure-inducing environment changes. |
PASTE |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Andrew R. Bernat, Barton P. Miller |
Anywhere, any-time binary instrumentation. |
PASTE |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Marc Fisher II, Jan Wloka, Frank Tip, Barbara G. Ryder, Alexander Luchansky |
An evaluation of change-based coverage criteria. |
PASTE |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Markus von Detten |
Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution. |
PASTE |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Yana Momchilova Mileva, Andreas Zeller |
Assessing modularity via usage changes. |
PASTE |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Emily R. Jacobson, Nathan E. Rosenblum, Barton P. Miller |
Labeling library functions in stripped binaries. |
PASTE |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Sorin Lerner, Atanas Rountev (eds.) |
Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario, Canada, June 5-6, 2010 |
PASTE |
2010 |
DBLP BibTeX RDF |
|
40 | Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu 0001 |
Extracting compiler provenance from program binaries. |
PASTE |
2010 |
DBLP DOI BibTeX RDF |
program provenance, static binary analysis, forensics |
40 | Cindy Rubio-González, Ben Liblit |
Expect the unexpected: error code mismatches between documentation and the real world. |
PASTE |
2010 |
DBLP DOI BibTeX RDF |
interprocedural dataflow analysis, manual pages, weighted pushdown systems, static program analysis |
40 | Suzanna Schmeelk |
Towards a unified fault-detection benchmark. |
PASTE |
2010 |
DBLP DOI BibTeX RDF |
evaluation, benchmark, software reliability, quality assurance |
40 | Syed S. Islam, Jens Krinke, David W. Binkley, Mark Harman |
Coherent dependence clusters. |
PASTE |
2010 |
DBLP DOI BibTeX RDF |
clustering, dependence, program comprehension, program slicing |
40 | Steven P. Reiss, Suman Karumuri |
Visualizing threads, transactions and tasks. |
PASTE |
2010 |
DBLP DOI BibTeX RDF |
program understanding, software visualization, reactive systems, event handling |
40 | Silvian Calman, Jianwen Zhu |
Interprocedural induction variable analysis based on interprocedural SSA form IR. |
PASTE |
2010 |
DBLP DOI BibTeX RDF |
induction variable analysis, interprocedural ssa, ssa |
40 | Harish Narayanappa, Mukul S. Bansal, Hridesh Rajan |
Property-aware program sampling. |
PASTE |
2010 |
DBLP DOI BibTeX RDF |
property-aware monitoring, slice fragments, static analysis, sampling, profiling, program slicing, instrumentation |
40 | Kota Mizushima, Atusi Maeda, Yoshinori Yamaguchi |
Packrat parsers can handle practical grammars in mostly constant space. |
PASTE |
2010 |
DBLP DOI BibTeX RDF |
cut operators, packrat parsing, parsing expression grammars, backtracking, memoization, parser generator |
40 | Jungwoo Ha, Stephen P. Crago |
Opportunities for concurrent dynamic analysis with explicit inter-core communication. |
PASTE |
2010 |
DBLP DOI BibTeX RDF |
inter-core communication, concurrency, dynamic analysis, instrumentation |
40 | Cormac Flanagan, Stephen N. Freund |
The RoadRunner dynamic analysis framework for concurrent programs. |
PASTE |
2010 |
DBLP DOI BibTeX RDF |
concurrency, dynamic analysis |
40 | Nathaniel Ayewah, William W. Pugh |
Null dereference analysis in practice. |
PASTE |
2010 |
DBLP DOI BibTeX RDF |
null pointer dereference, static analysis |
40 | Min Feng 0001, Rajiv Gupta 0001 |
Learning universal probabilistic models for fault localization. |
PASTE |
2010 |
DBLP DOI BibTeX RDF |
bayesian network, fault localization, probabilistic inference, dynamic dependence graph |
40 | Shriram Krishnamurthi, Michal Young (eds.) |
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008 |
PASTE |
2008 |
DBLP BibTeX RDF |
|
40 | Marwan Abi-Antoun, Jonathan Aldrich |
A field study in static extraction of runtime architectures. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
architecture recovery, ownership types, runtime architecture |
40 | Yin Liu, Ana L. Milanova |
Static analysis for inference of explicit information flow. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
points-to analysis, flow analysis |
40 | David Lo 0001, Shahar Maoz |
Specification mining of symbolic scenario-based models. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Macneil Shonle, William G. Griswold, Sorin Lerner |
Addressing common crosscutting problems with Arcum. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
design patterns, aspect-oriented programming, refactoring |
40 | Haihao Shen, Sai Zhang 0001, Jianjun Zhao 0001, Jianhong Fang, Shiyuan Yao |
XFindBugs: eXtended FindBugs for AspectJ. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Sai Zhang 0001, Yu Lin, Zhongxian Gu, Jianjun Zhao 0001 |
Effective identification of failure-inducing changes: a hybrid approach. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Arnab De, Abhik Roychoudhury, Deepak D'Souza |
Java memory model aware software validation. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Kiran Pamnany, John Jannotti |
Elyze: enabling safe parallelism in event-driven servers. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
concurrency scheduling, static analysis |
40 | Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks 0001, Vibha Sazawal |
Path projection for user-centered static analysis tools. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Mohammad-Amin Jashki, Reza Zafarani, Ebrahim Bagheri |
Towards a more efficient static software change impact analysis method. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Anna Zaks, Amir Pnueli |
Program analysis for compiler validation. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Laurent Hubert |
A non-null annotation inferencer for Java bytecode. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
Java, static analysis, annotation, inference, NonNull |
40 | Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur |
Sharing analysis of arrays, collections, and recursive structures. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
shared structures, parallelism, shape analysis |
40 | Manuvir Das, Dan Grossman (eds.) |
Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'07, San Diego, California, USA, June 13-14, 2007 |
PASTE |
2007 |
DBLP BibTeX RDF |
|
40 | Nathaniel Ayewah, William W. Pugh, J. David Morgenthaler, John Penix, YuQian Zhou |
Evaluating static analysis defect warnings on production software. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
Java, static analysis, software quality, bugs, false positives, software defects, FindBugs, bug patterns |
40 | Wei Le, Mary Lou Soffa |
Refining buffer overflow detection via demand-driven path-sensitive analysis. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
path-sensitive, demand-driven, infeasible paths |
40 | Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein |
Enforcing and validating user-defined programming disciplines. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
pluggable type systems, programming disciplines, type-and-effect systems, type qualifiers |
40 | David C. Shepherd, Lori L. Pollock, K. Vijay-Shanker |
Case study: supplementing program analysis with natural language analysis to improve a reverse engineering task. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
program analysis, natural language, aspect mining |
40 | Lori L. Pollock, K. Vijay-Shanker, David C. Shepherd, Emily Hill 0001, Zachary P. Fry, Kishen Maloor |
Introducing natural language program analysis. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
software tools, program analysis, natural language, aspect mining |
40 | Weilei Zhang, Barbara G. Ryder |
Discovering accurate interclass test dependences. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
class integration test, interclass test dependence |
40 | Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur |
Heap analysis in the presence of collection libraries. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
collection library, static analysis, shape analysis |
40 | Haiying Xu, Christopher J. F. Pickett, Clark Verbrugge |
Dynamic purity analysis for java programs. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
purity, Java, software metrics, dynamic analysis, memoization, side effects, escape analysis |
40 | Ruben E. Brown |
AWE: improving software analysis through modular integration of static and dynamic analyses. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
malicious software analysis, static analysis, dynamic analysis |
40 | Ju Qian, Baowen Xu, Hongbo Min |
Interstatement must aliases for data dependence analysis of heap locations. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
must alias, data dependence, pointer analysis, heap |
40 | David Hovemeyer, William W. Pugh |
Finding more null pointer bugs, but not too many. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
null pointers, Java, static analysis, software quality, bugs, FindBugs, bug patterns |
40 | Jeffrey S. Foster, Michael W. Hicks, William W. Pugh |
Improving software quality with static analysis. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
FFIs, Java, software quality, C, modularity, network protocols, data races, bugs, bug patterns |
40 | Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins |
An overview of the saturn project. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
verification, program analysis, boolean satisfiability |
40 | Ondrej Lhoták |
Comparing call graphs. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
comparison tools, interpreting analysis results, static analysis, dynamic analysis, call graph |
40 | Ana L. Milanova |
Light context-sensitive points-to analysis for java. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
context sensitivity, points-to analysis |
40 | Michael D. Ernst, Thomas P. Jensen (eds.) |
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005 |
PASTE |
2005 |
DBLP BibTeX RDF |
|
40 | Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel |
An empirical framework for comparing effectiveness of testing and property-based formal analysis. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
model checking, static analysis, empirical software engineering, mutation testing, bug detection |
40 | Naveen Kumar 0002, Bruce R. Childers, Mary Lou Soffa |
Low overhead program monitoring and profiling. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
instrumentation optimization, profiling, dynamic instrumentation, dynamic binary translation |
40 | Hari Hampapuram, Yue Yang, Manuvir Das |
Symbolic path simulation in path-sensitive dataflow analysis. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
path feasibility, dataflow analysis, symbolic simulation |
40 | Andrew C. Myers |
Making distributed systems secure with program analysis and transformation. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Donglin Liang, Maikel Pennings, Mary Jean Harrold |
Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
|
40 | David Hovemeyer, Jaime Spacco, William W. Pugh |
Evaluating and tuning a static analysis to find null pointer bugs. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
testing, static analysis |
40 | Jeff H. Perkins |
Automatically generating refactorings to support API evolution. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Michelle Mills Strout, John M. Mellor-Crummey, Paul D. Hovland |
Representation-independent program analysis. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh |
String analysis for x86 binaries. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Sriraman Tallam, Neelam Gupta |
A concept analysis inspired greedy algorithm for test suite minimization. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
test cases, concept analysis, testing requirements, test suite minimization |
40 | Ludo Van Put, Bjorn De Sutter, Matias Madou, Bruno De Bus, Dominique Chanet, Kristof Smits, Koen De Bosschere |
LANCET: a nifty code editing tool. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
optimization, visualization, instrumentation, assembler, binary code |
40 | Dick Hamlet |
Invariants and state in testing and formal methods. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Sarfraz Khurshid, Yuk Lai Suen |
Generalizing symbolic execution to library classes. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
korat, model checking, symbolic execution, test input generation |
Displaying result #1 - #100 of 633 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|