Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications

Bae, Sora; Park, Joonyoung; Ryu, Sukyoung

doi:10.1109/formalise.2017.10

Cited by 2 publications

(1 citation statement)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Developing large Single-Page Applications (SPA) based on pure JavaScript on the client side is a difficult and inefficient process, so it is needed to use frameworks that define the application structure and have a basic set of components [23][24][25].…”

Section: The Choice Of Technological Solutions For the Developmenmentioning

confidence: 99%

Programming Technologies for the Development of Web-Based Platform for Digital Psychological Tools

Nikulchev¹,

Ilin²,

Kolyasnikov³

et al. 2018

ijacsa

View full text Add to dashboard Cite

Abstract-The choice of the tools and programming technologies for information systems creation is relevant. For every projected system, it is necessary to define a number of criteria for development environment, used libraries and technologies. The paper describes the choice of technological solutions using the example of the developed web-based platform of the Russian Academy of Education. This platform is used to provide information support for the activities of psychologists in their research (including population and longitudinal researches). There are following system features: large scale and significant amount of developing time that needs implementation and ensuring the guaranteed computing reliability of a wide range of digital tools used in psychological research; ensuring functioning in different environments when conducting mass research in schools that have different characteristics of computing resources and communication channels; possibility of services scaling; security and privacy of data; use of technologies and programming tools that would ensure the compatibility and conversion of data with other tools of psychological research processing. Some criteria were introduced for the developed system. These criteria take into account the feature of the functioning and life cycle of the software. A specific example shows the selection of appropriate technological solutions.Keywords-Psychological research tools; web-based platform; choice of the tools and programming technologies

show abstract

Section: The Choice Of Technological Solutions For the Developmenmentioning

confidence: 99%

Programming Technologies for the Development of Web-Based Platform for Digital Psychological Tools

Nikulchev¹,

Ilin²,

Kolyasnikov³

et al. 2018

ijacsa

View full text Add to dashboard Cite

show abstract

Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations

Park

Youn

Lee

et al. 2023

Proc. ACM Program. Lang.

View full text Add to dashboard Cite

The conformance testing of programming language implementations is crucial to support correct and consistent execution environments. Because manually maintaining conformance tests for real-world programming languages is cumbersome and labor-intensive, researchers have presented various ways to make conformance tests effective and efficient. One such approach is to use graph coverage, one of the most widely-used coverage criteria, to generate tests that reach different parts of a mechanized language specification. Since mechanized specifications use functions or inductive definitions to describe the semantics of language features, traditional graph coverage criteria for software work as they are. However, they may not produce high-quality conformance tests because language implementations often have specialized execution paths for different features, even when their semantics descriptions use the same functions. Traditional graph coverage may not distinguish test requirements of such language features, which degrades the quality of conformance testing. Similarly, it may not distinguish test requirements of different parts of the same language feature when their semantics descriptions use the same functions. We present feature-sensitive (FS) coverage as a novel coverage criterion to generate high-quality conformance tests for language implementations. It is a general extension of graph coverage, refining conventional test requirements using the innermost enclosing language features. We also introduce feature-call-path-sensitive (FCPS) coverage, a variant of FS coverage, and extend both coverage criteria using the 𝑘-limiting approach. To evaluate the effectiveness of the new coverage criteria for language implementations, we apply them to a mechanized specification of JavaScript. We extend JEST, the state-of-the-art JavaScript conformance test synthesizer using coverage-guided mutational fuzzing, with various FS and FCPS coverage criteria. For the latest JavaScript language specification (ES13, 2022), our tool automatically synthesizes 237,981 conformance tests in 50 hours with five coverage criteria. We evaluated the conformance of eight mainstream JavaScript implementations (four engines and four transpilers) with the synthesized conformance tests and discovered bugs in all of them. The tool detected 143 distinct conformance bugs (42 in engines and 101 in transpilers), 85 of which were confirmed by the developers and 83 of which were newly discovered bugs.

show abstract

Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications

Cited by 2 publications

References 15 publications

Programming Technologies for the Development of Web-Based Platform for Digital Psychological Tools

Programming Technologies for the Development of Web-Based Platform for Digital Psychological Tools

Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations

Contact Info

Product

Resources

About