|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 17 keywords
|
|
|
|
|
Results
Found 39 publication records. Showing 39 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Nathaniel Nystrom, Wenhua Wang |
SimFuzz: Test case similarity directed deep fuzzing.  |
Journal of Systems and Software  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Lawrence, Raghu Kacker, Yu Lei, D. Richard Kuhn, Michael Forbes |
A Survey of Binary Covering Arrays. |
Electr. J. Comb. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wenhua Wang, Yu Lei, Donggang Liu, David Chenho Kung, Christoph Csallner, Dazhi Zhang, Raghu Kacker, Rick Kuhn |
A combinatorial approach to detecting buffer overflow vulnerabilities. |
DSN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bolin Hu, Zhou Lei, Yu Lei, Dong Xu, Jiandun Li |
A Time-Series Based Precopy Approach for Live Migration of Virtual Machines. |
ICPADS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard H. Carver, Yu Lei |
Distributed reachability testing of concurrent programs. |
Concurrency and Computation: Practice and Experience |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard H. Carver, Yu Lei |
A class library for implementing, testing, and debugging concurrent programs. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yueting Zhu, Wu Zhang, Hai Jiang, Yu Lei, Junjie Peng |
DCMTs: Supporting Dynamically Created Migratory Threads. |
CSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Wenhua Wang |
Detecting vulnerabilities in C programs using trace-based testing. |
DSN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Zhenguo, Yu Lei |
Enhancing the Educational Technology Capacity for University Teachers in China. |
ICEE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiandun Li, Wu Zhang, Junjie Peng, Zhou Lei, Yu Lei |
A Carbon 2.0 Framework Based on Cloud Computing. |
ACIS-ICIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rick Kuhn, Raghu Kacker, Yu Lei, Justin Hunter |
Combinatorial Software Testing. |
IEEE Computer |
2009 |
DBLP DOI BibTeX RDF |
Combinatorial software testing, Efficient test design methods, Design and test, Software technologies, Pairwise testing |
| 1 | Chunying Zhao, Kang Zhang, Yu Lei |
Abstraction of multiple executions of object-oriented programs. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
multiple executions, trace abstraction, reverse engineering |
| 1 | Wenhua Wang, Yu Lei, Sreedevi Sampath, Raghu Kacker, Rick Kuhn, James Lawrence |
A combinatorial approach to building navigation graphs for dynamic web applications. |
ICSM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Eric Wong, Yu Lei |
Reachability Graph-Based Test Sequence Generation for Concurrent Programs. |
International Journal of Software Engineering and Knowledge Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rick Kuhn, Yu Lei, Raghu Kacker |
Practical Combinatorial Testing: Beyond Pairwise. |
IT Professional |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun, James Lawrence |
IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing. |
Softw. Test., Verif. Reliab. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhua Wang, Sreedevi Sampath, Yu Lei, Raghu Kacker |
An Interaction-Based Test Sequence Generation Approach for Testing Web Applications. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangelis Metsis, Zhengyi Le, Yu Lei, Fillia Makedon |
Towards an evaluation framework for assistive environments. |
PETRA |
2008 |
DBLP DOI BibTeX RDF |
pervasive computing, metrics, assistive living, assistive environments |
| 1 | Dazhi Zhang, Wenhua Wang, Donggang Liu, Yu Lei, David Chenho Kung |
Reusing Existing Test Cases for Security Testing. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, Richard H. Carver, Raghu Kacker, David Chenho Kung |
A combinatorial testing strategy for concurrent programs. |
Softw. Test., Verif. Reliab. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun, James Lawrence |
IPOG: A General Strategy for T-Way Software Testing. |
ECBS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, Richard H. Carver |
Reachability Testing of Concurrent Programs. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
Software testing, concurrent programming, reachability testing |
| 1 | Qizhi Ye, Yu Lei, David Chenho Kung |
A Blocking-based Approach to Protocol Validation. |
Comput. J. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez |
A State Exploration-Based Approach to Testing Java Monitors. |
ISSRE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, W. Eric Wong |
A Novel Framework for Non-Deterministic Testing of Message-Passing Programs. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, David Chenho Kung, Qizhi Ye |
A Blocking-Based Approach to Protocol Validation. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, S. Purushothaman Iyer |
An Approach to Unfolding Asynchronous Communication Protocols. |
FM |
2005 |
DBLP DOI BibTeX RDF |
State Space Search, Software Verification, Unfolding, EFSM |
| 1 | Yu Lei, Munindar P. Singh |
An Evaluation of E-Business Metamodels. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | W. Eric Wong, Yu Lei, Xiao Ma |
Effective Generation of Test Sequences for Structural Testing of Concurrent Programs. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
concurrent program testing, all-node criterion, all-edge criterion, structural testing, reachability graph |
| 1 | Yu Lei, Richard H. Carver |
A New Algorithm for Reachability Testing of Concurrent Programs. |
ISSRE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard H. Carver, Yu Lei |
A General Model for Reachability Testing of Concurrent Programs. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, Richard H. Carver |
Reachability testing of monitor-based programs. |
IASTED Conf. on Software Engineering and Applications |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yu Lei, Richard H. Carver |
Reachability Testing of Semaphore-Based Programs. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, Deren Chen, Zhongding Jiang |
Generating Digital Signatures on Mobile Devices. |
AINA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, Zhongding Jiang, Deren Chen, Hujun Bao |
Image-Based Walkthrough over Internet on Mobile Devices. |
GCC Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuo-Chung Tai, Yu Lei |
A Test Generation Strategy for Pairwise Testing. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
software testing, test generation, pairwise testing |
| 1 | Yu Lei, Kuo-Chung Tai |
Efficient Reachability Testing of Asynchronous Message-Passing Programs. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, Kuo-Chung Tai |
Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, Kuo-Chung Tai |
In-Parameter-Order: A Test Generation Strategy for Pairwise Testing. (PDF / PS) |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #39 of 39 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")