RVprio: A tool for prioritizing runtime verification violations

Cabral, Lucas Manoel da Silva; Miranda, Breno; Lima, Igor; d’Amorim, Marcelo

doi:10.1002/stvr.1813

Software Testing Verif & Rel

2022

DOI: 10.1002/stvr.1813

|View full text |Cite

RVprio: A tool for prioritizing runtime verification violations

Lucas Manoel da Silva Cabral

Breno Miranda

Igor Lima

et al.

Abstract: We follow the definition of behavioural properties by Robillard et al. [2]-'a way to use an API as asserted by the developer or analyst, and which encodes information about the behaviour of a program when an API is used'.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2024

Publication Types

Select...

Other1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

References 108 publications

(182 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

Robotic-supported Data Loss Detection in Android Applications

Freitas,

Miranda,

Iyoda

2024

Anais Do XXXVIII Simpósio Brasileiro De Engenharia De Software (SBES 2024)

View full text Add to dashboard Cite

Smartphones have become integral to modern life due to their diverse applications. However, the development of applications for these devices faces significant challenges, primarily due to two factors: (i) the diverse hardware and operating system versions that require testing across multiple configurations; and (ii) the imperative activity of testing the smartphone in a non-invasive way (similar to an end-user interaction), which is expensive, tedious and error-prone as it is usually carried out manually. In this context, robotic automation has emerged as an effective solution for addressing the diversity of smartphone systems and versions, and in performing some testing tasks non-invasively. In addition, automated robots facilitate quick, accurate, and repetitive testing, thus enabling developers to validate their applications across various configurations effectively. This results in a less invasive verification and in a significant reduction in time spent on manual testing, thus accelerating the development cycle. Our work proposes R-DLD (Robotic-supported Data Loss Detection), a robot-assisted infrastructure for data loss detection in Android applications, offering less invasive and more realistic tests by interacting directly with smartphone sensors. The robot is constructed using cost-effective materials, facilitating its adoption in testing environments. In our empirical evaluation R-DLD successfully identified 341 data loss issues in 77 randomly selected apps from an Android store. All reported bugs received responses from the developer, with 89.55% confirming the data loss problems, while 35.82% have being subsequently fixed.

show abstract

Robotic-supported Data Loss Detection in Android Applications

Freitas,

Miranda,

Iyoda

2024

Anais Do XXXVIII Simpósio Brasileiro De Engenharia De Software (SBES 2024)

View full text Add to dashboard Cite

show abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

RVprio: A tool for prioritizing runtime verification violations

Abstract: We follow the definition of behavioural properties by Robillard et al. [2]-'a way to use an API as asserted by the developer or analyst, and which encodes information about the behaviour of a program when an API is used'.

Cited by 1 publication

References 108 publications

Robotic-supported Data Loss Detection in Android Applications

Robotic-supported Data Loss Detection in Android Applications

Contact Info

Product

Resources

About