reachability testing Latest Research Papers

Space complexity of reachability testing in labelled graphs

Journal of Computer and System Sciences ◽

10.1016/j.jcss.2019.04.002 ◽

2019 ◽

Vol 105 ◽

pp. 40-53

Author(s):

Vidhya Ramaswamy ◽

Jayalal Sarma ◽

K.S. Sunil

Keyword(s):

Space Complexity ◽

Reachability Testing ◽

Labelled Graphs

Download Full-text

Parallel Reachability Testing Based on Hadoop MapReduce

Software Analysis, Testing, and Evolution - Lecture Notes in Computer Science ◽

10.1007/978-3-030-04272-1_11 ◽

2018 ◽

pp. 173-184

Author(s):

Xiaofang Qi ◽

Yueran Li

Keyword(s):

Hadoop Mapreduce ◽

Reachability Testing

Download Full-text

Space Complexity of Reachability Testing in Labelled Graphs

Language and Automata Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-53733-7_26 ◽

2017 ◽

pp. 351-363

Author(s):

Vidhya Ramaswamy ◽

Jayalal Sarma ◽

K. S. Sunil

Keyword(s):

Space Complexity ◽

Reachability Testing ◽

Labelled Graphs

Download Full-text

A Bayesian Cogntive Approach to Quantifying Software Exploitability Based on Reachability Testing

Lecture Notes in Computer Science - Information Security ◽

10.1007/978-3-319-45871-7_21 ◽

2016 ◽

pp. 343-365 ◽

Cited By ~ 1

Author(s):

Guanhua Yan ◽

Yunus Kucuk ◽

Max Slocum ◽

David C. Last

Keyword(s):

Reachability Testing

Download Full-text

Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs

Software Testing Verification and Reliability ◽

10.1002/stvr.1568 ◽

2015 ◽

Vol 25 (3) ◽

pp. 310-332 ◽

Cited By ~ 5

Author(s):

S. R. S. Souza ◽

P. S. L. Souza ◽

M. A. S. Brito ◽

A. S. Simao ◽

E. J. Zaluska

Keyword(s):

Empirical Evaluation ◽

Concurrent Programs ◽

Coverage Criteria ◽

Composite Approach ◽

Reachability Testing

Download Full-text

Improving Search Order for Reachability Testing in Timed Automata

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-319-22975-1_9 ◽

2015 ◽

pp. 124-139 ◽

Cited By ~ 5

Author(s):

Frédéric Herbreteau ◽

Thanh-Tung Tran

Keyword(s):

Timed Automata ◽

Search Order ◽

Reachability Testing

Download Full-text

Distributed reachability testing of concurrent programs

Concurrency and Computation Practice and Experience ◽

10.1002/cpe.1573 ◽

2010 ◽

Vol 22 (18) ◽

pp. 2445-2466 ◽

Cited By ~ 14

Author(s):

Richard H. Carver ◽

Yu Lei

Keyword(s):

Concurrent Programs ◽

Reachability Testing

Download Full-text

A Feasible Strategy for Reachability Testing of Internet-Based Concurrent Programs

2008 IEEE International Conference on Networking, Sensing and Control ◽

10.1109/icnsc.2008.4525469 ◽

2008 ◽

Cited By ~ 2

Author(s):

Fangli Pu ◽

Hai-Yin Xu

Keyword(s):

Concurrent Programs ◽

Reachability Testing

Download Full-text

Combination reduction: A SYN-sequence selection strategy for reachability testing of concurrent programs

Wuhan University Journal of Natural Sciences ◽

10.1007/s11859-007-0054-4 ◽

2007 ◽

Vol 12 (6) ◽

pp. 1024-1028 ◽

Cited By ~ 1

Author(s):

Chao Lu ◽

Yansheng Lu

Keyword(s):

Selection Strategy ◽

Concurrent Programs ◽

Sequence Selection ◽

Reachability Testing

Download Full-text

A New Algorithm for Reachability Testing of Concurrent Programs

16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05) ◽

10.1109/issre.2005.5 ◽

2006 ◽

Cited By ~ 4

Author(s):

Yu Lei ◽

R. Carver

Keyword(s):

Concurrent Programs ◽

Reachability Testing

Download Full-text

reachability testing
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Space complexity of reachability testing in labelled graphs

Parallel Reachability Testing Based on Hadoop MapReduce

Space Complexity of Reachability Testing in Labelled Graphs

A Bayesian Cogntive Approach to Quantifying Software Exploitability Based on Reachability Testing

Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs

Improving Search Order for Reachability Testing in Timed Automata

Distributed reachability testing of concurrent programs

A Feasible Strategy for Reachability Testing of Internet-Based Concurrent Programs

Combination reduction: A SYN-sequence selection strategy for reachability testing of concurrent programs

A New Algorithm for Reachability Testing of Concurrent Programs

Export Citation Format

reachability testingRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Space complexity of reachability testing in labelled graphs

Parallel Reachability Testing Based on Hadoop MapReduce

Space Complexity of Reachability Testing in Labelled Graphs

A Bayesian Cogntive Approach to Quantifying Software Exploitability Based on Reachability Testing

Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs

Improving Search Order for Reachability Testing in Timed Automata

Distributed reachability testing of concurrent programs

A Feasible Strategy for Reachability Testing of Internet-Based Concurrent Programs

Combination reduction: A SYN-sequence selection strategy for reachability testing of concurrent programs

A New Algorithm for Reachability Testing of Concurrent Programs

reachability testing
Recently Published Documents