Systematic black-box analysis of collaborative web applications

Billes, Marina; Møller, Anders; Pradel, Michael

doi:10.1145/3062341.3062364

Cited by 11 publications

(8 citation statements)

References 46 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Billes et al [2] present a black-box analysis technique for multi-client web applications to detect concurrency errors on three real-world web applications. Hong et al [39] present a testing framework to detect concurrency errors in client-side web applications written in JavaScript, and use five real-world web applications.…”

Section: B Other Analysis and Testing Studies For Javascriptmentioning

confidence: 99%

See 1 more Smart Citation

BugsJS: a Benchmark of JavaScript Bugs

Gyimesi

Vancsics

Stocco

et al. 2019

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST)

View full text Add to dashboard Cite

JavaScript is a popular programming language that is also error-prone due to its asynchronous, dynamic, and loosely-typed nature. In recent years, numerous techniques have been proposed for analyzing and testing JavaScript applications. However, our survey of the literature in this area revealed that the proposed techniques are often evaluated on different datasets of programs and bugs. The lack of a commonly used benchmark limits the ability to perform fair and unbiased comparisons for assessing the efficacy of new techniques. To fill this gap, we propose BUGSJS, a benchmark of 453 real, manually validated JavaScript bugs from 10 popular JavaScript server-side programs, comprising 444k LOC in total. Each bug is accompanied by its bug report, the test cases that detect it, as well as the patch that fixes it. BUGSJS features a rich interface for accessing the faulty and fixed versions of the programs and executing the corresponding test cases, which facilitates conducting highly-reproducible empirical studies and comparisons of JavaScript analysis and testing tools.

show abstract

Section: B Other Analysis and Testing Studies For Javascriptmentioning

confidence: 99%

“…Despite its popularity, the intrinsic characteristics of JavaScript-such as weak typing, prototypal inheritance, and run-time evaluation-make it one of the most error-prone programming languages. As such, a large body of software engineering research has focused on the analysis and testing of JavaScript web applications [2,3,4,5,6,7,8,9].…”

Section: Introductionmentioning

confidence: 99%

BugsJS: a Benchmark of JavaScript Bugs

Gyimesi

Vancsics

Stocco

et al. 2019

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST)

View full text Add to dashboard Cite

show abstract

“…Billes etc. [5] presents the first fully automated technique called Simian for multi-client web applications. Smart contract analysis mainly focuses on discovering vulnerabilities.…”

Section: B Case With Command-line Toolmentioning

confidence: 99%

“…Kaya will execute these test cases automati- 4 The most common way to implement smart contracts is the virtual machine approach. There are various virtual machines, e.g., EVM, Neo VM, Move VM, etc.. We refer to these virtual machines as smart contract virtual machines, SCVM 5 Kaya is an item in game DOTA2, it has two main buffs, loss reduction and damage amplification. Our testing framework can also help test engineers to reduce the difficulties and improve the efficiency arXiv:2006.01476v1 [cs.SE] 2 Jun 2020 cally, i.e.…”

Section: Introductionmentioning

confidence: 99%

Kaya: A Testing Framework for Blockchain-based Decentralized Applications

Zhang

Gao

et al. 2020

2020 IEEE International Conference on Software Maintenance and Evolution (ICSME)

View full text Add to dashboard Cite

In recent years, many decentralized applications based on blockchain (DApp) have been developed. However, due to inadequate testing, DApps are easily exposed to serious vulnerabilities. We find three main challenges for DApp testing, i.e. the inherent complexity of DApp, inconvenient pre-state setting, and not-so-readable logs. In this paper, we propose a testing framework named Kaya to bridge these gaps. Kaya has three main functions. Firstly, Kaya proposes DApp behavior description language (DBDL) to make writing test cases easier. Test cases written in DBDL can also be automatically executed by Kaya. Secondly, Kaya supports a flexible and convenient way for test engineers to set the blockchain pre-states easily. Thirdly, Kaya transforms incomprehensible addresses into readable variables for easy comprehension. With these functions, Kaya can help test engineers test DApps more easily. Besides, to fit the various application environments, we provide two ways for test engineers to use Kaya, i.e., UI and command-line. Our experimental case demonstrates the potential of Kaya in helping test engineers to test DApps more easily 1 .

show abstract

“…It has an important impact [4,5]. With the rapid economic and social development and the intensification of social competition, students are faced with new situations and new problems, so as to solve their psychological confusion and even mental health problems [6,7].…”

Section: Introductionmentioning

confidence: 99%

Design and Application of Mobile Education Information System Based on Psychological Education

Shen

2021

Mobile Information Systems

View full text Add to dashboard Cite

With the continuous development of society, the pressure of human beings is increasing, and the problem of psychological counseling for school students is getting more and more serious, which has brought great challenges to the education and management of school students. Universities should cultivate students’ professional ability on knowledge and practical skills; we should pay more attention to their psychological counseling and develop and design a simple and efficient learning environment. It is very necessary to establish a psychological evaluation system for college students. This article is based on the design and application of the mobile education information system for psychological education. It highlights that the current psychological counseling problems in school education are indispensable. To better manage the psychological counseling problems faced by many students, 67% of the students have many psychological problems, and the mental health of students in school education and psychological counseling have become the common concern and urgent problems of all college managers. This paper uses the methods of literature research, behavior interview, and experimental investigation to investigate the complementary relationship between the connotation of education and psychological counseling from the data of the fuzzy integral model of psychological counseling, so as to pay more attention to the students’ mental health problems and make the students grow up healthily. The experimental results of this article show that there is still a lot of room for improvement in the use of mobile education information systems to improve their ability to carry out psychological counseling work.

show abstract

Systematic black-box analysis of collaborative web applications

Cited by 11 publications

References 46 publications

BugsJS: a Benchmark of JavaScript Bugs

BugsJS: a Benchmark of JavaScript Bugs

Kaya: A Testing Framework for Blockchain-based Decentralized Applications

Design and Application of Mobile Education Information System Based on Psychological Education

Contact Info

Product

Resources

About