WEAVE: WEb Applications Validation Environment

Sunitha, R; Tkachuk, Oksana; Prasad, Munaga V. N. K.; Ghosh, Indradeep; Goel, Neerja; Uehara, Tadahiro

doi:10.1109/icse-companion.2009.5070968

Cited by 8 publications

(5 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Later, the tool was extended to treat the domain of GUI applications [1] by scoping the unit's entry points to special event-handling methods and scoping the side-effects analysis to keep track of specific fields in the GUI library classes. Then followed the extension to treat web applications [5].…”

Section: Discussionmentioning

confidence: 99%

OCSEGen

Tkachuk

2013

Proceedings of the 2nd ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis

Self Cite

View full text Add to dashboard Cite

To analyze a large system, one often needs to break it into smaller components. To analyze a component or unit under analysis, one needs to model its context of execution, called environment, which represents the components with which the unit interacts. Environment generation is a challenging problem, because the environment needs to be general enough to uncover unit errors, yet precise enough to make the analysis tractable. In this paper, we present a tool for automated environment generation for open components and systems. The tool, called OCSEGen, is implemented on top of the Soot framework. We present the tool's current support and discuss its possible future extensions.

show abstract

Section: Discussionmentioning

confidence: 99%

OCSEGen

Tkachuk

2013

Proceedings of the 2nd ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis

Self Cite

View full text Add to dashboard Cite

show abstract

“…Rajan etc. [11] created an extensive user interface in their tool to specify requirements for web applications easily.…”

Section: B Case With Command-line Toolmentioning

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

“…Java Path Finder (JPF) (Visser, Pireanu, Khurshid, 2004) ha sido utilizado en múltiples proyectos que abarcan desde la validación de programas concurrentes Java, las aplicaciones Web (Rajan, et al, 2009) a un uso específico en las aplicaciones de tiempo real. En este último caso, está siendo utilizado para validar (Kalibera, Parizek, Mlohlava, 2010) aplicaciones basadas en la especificación RTSJ (The Real-Time Specification for Java) (Bollella et al 2001).…”

Section: Trabajo Relacionadounclassified

Módulo Empresarial para la Validación Formal de Ejercicios aplicado a la Programación Concurrente en Java

Val

García-Valls

Estévez-Ayres

et al. 2012

Revista Iberoamericana de Automática e Informática Industrial R

View full text Add to dashboard Cite

La utilización de herramientas que permitan detectar problemas de programación es de utilidad tanto para el docente, el cual puede probar de una forma más exhaustiva las prácticas entregadas, como para el discente, el cual puede utilizar dichas herramientas. En muchos casos, existen herramientas previas utilizadas en el desarrollo software, que pueden ser adaptadas para ser utilizadas en un entorno formativo. Este trabajo aporta la integración de una herramienta de validación formal de sistemas concurrentes Java, la cual garantiza la no existencia de defectos como son el abrazo mortal y las condiciones de carrera, en un entorno Web abierto. Más concretamente, la herramienta que se ha escogido es denominada JPF (Java Path Finder) y se la ha dotado de interfaces dentro de un servidor Java EE (Enterprise Edition), lo que facilita la utilización de servicios propios de la plataforma Java EE y la interoperabilidad entre estos con el módulo diseñado. El artículo trata aspectos tecnológicos derivados de dicha integración como son el diseño de una arquitectura que da soporte a la validación vía web. También detalla una serie de experimentos relativos al rendimiento de la plataforma realizados sobre un curso real, lo que permite medir costes computacionales y su utilidad en la evaluación.

show abstract

WEAVE: WEb Applications Validation Environment

Cited by 8 publications

References 9 publications

OCSEGen

OCSEGen

Kaya: A Testing Framework for Blockchain-based Decentralized Applications

Módulo Empresarial para la Validación Formal de Ejercicios aplicado a la Programación Concurrente en Java

Contact Info

Product

Resources

About