Proceedings of the 2014 International Symposium on Software Testing and Analysis 2014
DOI: 10.1145/2610384.2628051
|View full text |Cite
|
Sign up to set email alerts
|

ProCrawl: mining test models from multi-user web applications

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
8
0

Year Published

2015
2015
2021
2021

Publication Types

Select...
3
3
1

Relationship

1
6

Authors

Journals

citations
Cited by 8 publications
(8 citation statements)
references
References 11 publications
0
8
0
Order By: Relevance
“…Korel provided an approach that generates test cases based on actual executions of AUT to search for the values of input variables, which influence undesirable execution flow, by using function minimization methods [50]. Schur et al provided an tool ProCrawl, which mined an extended finite-state machine as a behavior model and generated test scripts for regression testing [68,69]. Artzi et al used the Tarantula algorithm to localize source codes which lead to failures in web application by combining the concrete and symbolic execution information [9].…”
Section: Related Workmentioning
confidence: 99%
“…Korel provided an approach that generates test cases based on actual executions of AUT to search for the values of input variables, which influence undesirable execution flow, by using function minimization methods [50]. Schur et al provided an tool ProCrawl, which mined an extended finite-state machine as a behavior model and generated test scripts for regression testing [68,69]. Artzi et al used the Tarantula algorithm to localize source codes which lead to failures in web application by combining the concrete and symbolic execution information [9].…”
Section: Related Workmentioning
confidence: 99%
“…Making MBT more practical and easier to apply is one of the main open challenges, and the recent trend of automatically extracting models from the application under test is an interesting first step in this direction. So far, MBT from inferred models has focused on system testing with an effectiveness limited to detecting faults that cause easy-to-detect failures, such as program crashes [33,34,109]. Another major open challenge is extending MBT from inferred models to a broader set of testing levels and faults.…”
Section: Model-based Testingmentioning
confidence: 99%
“…This is also witnessed by the growing popularity of MBT in industry [110][111][112][113] and the increasing number of commercial tools available, such as Conformiq Designer [114], Smartesing CertifyIt [115,116] MBT from inferred models MBT from ripped models [32][33][34][35][36][37][38][39] Learningbased MBT [40][41][42][43][44] MBT from finite state models [45][46][47][48][49][50][51][52][53][54] MBT from UML models [55][56][57][58][59] MBT from feature models [60,61] MBT from specification models testing [118]. Recent studies also demonstrated a comparable effort when debugging test cases generated with MBT and manual testing [119].…”
Section: Model-based Testingmentioning
confidence: 99%
See 1 more Smart Citation
“…This article is a substantially revised and extended version of our original papers [33], [34]; we present a novel approach for learning transition guard conditions, as well as an extended evaluation including two additional case studies. Figure 1 shows a behavior model automatically extracted by PROCRAWL that represents the peer-review process in OPENCONF 1 , a popular web-based conference management system.…”
Section: Introductionmentioning
confidence: 99%