Filters








4,461 Hits in 3.8 sec

Lightweight Static Analysis for GUI Testing

Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schaf, Ishan Banerjee, Atif M. Memon
2012 2012 IEEE 23rd International Symposium on Software Reliability Engineering  
With the specific choice of a lightweight static analysis, the approach scales to large applications and, at the same time, leads to an informed selection of event sequences.  ...  GUI testing is an active research area. The open challenge is the judicious generation of event sequences (an event sequence encodes a user interaction).  ...  The inference is done by a lightweight static analysis applied to the bytecode.  ... 
doi:10.1109/issre.2012.25 dblp:conf/issre/ArltPBSBM12 fatcat:4tgmmz3edrhw5bzrrt32zjv7gq

Black-Box Verification for GUI Applications [article]

Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski
2012 arXiv   pre-print
for the test of the GUI application.  ...  In black-box testing of GUI applications (a form of system testing), a dynamic analysis of the GUI application is used to infer a black-box model; the black-box model is then used to derive test cases  ...  The work in [1] (with shared co-authors) presents a lightweight static analysis, which generates all event sequences that are at the same time executable and justifiably relevant.  ... 
arXiv:1210.4686v1 fatcat:ujm3pc6jdng4tkw5t2xqmy5mgi

Survey of optimization methods for BIW lightweight design

Wang Zheyun, Yansong Wang
2017 MATEC Web of Conferences  
The present situation of domestic and foreign research on lightweight design is introduced at the same time.  ...  the fields of lightweight materials, body structural optimization design, molding technology and new connecting technologies.  ...  Based on the above analysis of BIW lightweight design methods, this paper proposed a Multidisciplinary optimization lightweight design process.  ... 
doi:10.1051/matecconf/201712805002 fatcat:hhhmjzxu4zcbplxb3rcrkt6qwu

An extensible and lightweight framework of game GUI

Kan Qiao, Jinyuan Jia
2011 Proceedings of the 10th International Conference on Virtual Reality Continuum and Its Applications in Industry - VRCAI '11  
However, GUI design is often overlooked and also time consuming. This paper presents a novel architecture design of a lightweight extensible GUI framework for games to ease the pains of GUI design.  ...  These show that the GUI framework is a lightweight one which also of great extensibility.  ...  We believe, with these works been done, the GUI framework should become more powerful but still lightweight enough.  ... 
doi:10.1145/2087756.2087874 dblp:conf/vrcai/QiaoJ11 fatcat:zqqbg3rpyve7jntysgvq3b6pq4

Event trace reduction for effective bug replay of Android apps via differential GUI state analysis

Yulei Sui, Yifei Zhang, Wei Zheng, Manqing Zhang, Jingling Xue
2019 Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019  
TrimDroid [18] employs static analysis to improve the quality of GUI testing by extracting GUI dependencies.  ...  In the future, we plan to enhance Echo by integrating more sophisticated static analysis techniques, e.g., program dependence analysis [21, 24] and static happens-before analysis [23] to facilitate  ... 
doi:10.1145/3338906.3341183 dblp:conf/sigsoft/SuiZZZX19 fatcat:hvfvlvlonbepdmeb6kz4j4jzhy

Maintaining and evolving GUI-directed test scripts

Mark Grechanik, Qing Xie, Chen Fu
2009 2009 IEEE 31st International Conference on Software Engineering  
We offer a novel approach for maintaining and evolving test scripts so that they can test new versions of their respective GAPs.  ...  Our tool is lightweight and it takes less than eight seconds to analyze approximately 1KLOC of test scripts.  ...  Acknowledgments We warmly thank Sebastian Elbaum, Yannis Smaragdakis, Andrew Ko, and anonymous reviewers for their comments and suggestions.  ... 
doi:10.1109/icse.2009.5070540 dblp:conf/icse/GrechanikXF09 fatcat:y2x7bdvhuvexfbkt7c25bjresu

SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems

Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don Batory, Sabrina Souto, Paulo Barros, Marcelo D'Amorim
2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013  
SPLat achieves an optimal reduction in the number of configurations and is lightweight compared to prior work that used static analysis and heavyweight dynamic execution.  ...  Fortunately, a test is often independent of many configuration variables and need not be run against every combination. Configurations that are not required for a test can be pruned from execution.  ...  We also thank Mateus Borges for the help in testing earlier versions of SPLat. This material is based upon work partially supported by the US National Science Foundation under Grant Nos.  ... 
doi:10.1145/2491411.2491459 dblp:conf/sigsoft/KimMKBSBd13 fatcat:co25nzsvy5aa5blkjyz7lbjvki

Fixing Bug Reporting for Mobile and GUI-Based Applications [article]

Kevin Moran
2018 arXiv   pre-print
This illustrates the lexical information gap that exists in current bug reporting systems for mobile and GUI-based apps.  ...  However, this preliminary approach utilizes only lightweight static analysis techniques and is not able to map every extracted GUI component to its handler in an activity.  ...  Our proposed bug reporting mechanisms are completely automatic; our static and dynamic analysis techniques only need to be applied once for the version of the program that is released for testing.  ... 
arXiv:1801.05937v1 fatcat:sni6uowp7nahzapfruahnyo5xi

Fixing bug reporting for mobile and GUI-based applications

Kevin Moran, Denys Poshyvanyk
2016 Proceedings of the 38th International Conference on Software Engineering Companion - ICSE '16  
This illustrates the lexical information gap that exists in current bug reporting systems for mobile and GUI-based apps.  ...  However, this preliminary approach utilizes only lightweight static analysis techniques and is not able to map every extracted GUI component to its handler in an activity.  ...  Our proposed bug reporting mechanisms are completely automatic; our static and dynamic analysis techniques only need to be applied once for the version of the program that is released for testing.  ... 
doi:10.1145/2889160.2889269 dblp:conf/icse/MoranP25 fatcat:kzxklhljkvd2blag432so5siqa

Mobile-App Analysis and Instrumentation Techniques Reimagined with DECREE [article]

Yixue Zhao
2019 arXiv   pre-print
A large number of mobile-app analysis and instrumentation techniques have emerged in the past decade.  ...  For example, the onClick callback represents a user's click on a GUI widget.  ...  GUI Testing is widely adopted in testing mobile apps, such as model-based testing [12] , random testing [13] .  ... 
arXiv:1903.03277v1 fatcat:w2fh6w6wgjhkxjyrzr7qxzs5de

Flexible sensor matrix film-based wearable plantar pressure force measurement and analysis system

Shumi Zhao, Rong Liu, Chengwei Fei, Abdul Wasy Zia, Lingxiao Jing, David Fyhrie
2020 PLoS ONE  
The outcomes of the trials in which the system was worn revealed the applicability of the developed WPPFMA system for monitoring plantar pressure force under static and dynamic wearing conditions.  ...  The plantar pressure force data derived from this system provide valuable insights for personal foot care, gait analysis, and clinical diagnosis.  ...  Fig 1 illustrates the tested plantar pressures force in static and dynamic conditions.  ... 
doi:10.1371/journal.pone.0237090 pmid:32764796 fatcat:dj42mnmtgndxfbqlmxk3ntt7ka

Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis

Xiufeng Ni, Cui Zhang
2008 Journal of Object Technology  
Formal methods based verification techniques provide programmers various ways to reason their program correctness through mathematically supported static analysis and dynamic analysis.  ...  This tool aims at facilitating the refinement from formal specifications to Spec# and the full usage of the static and dynamic analysis techniques in Spec#.  ...  Flow analysis includes control flow analysis, dataflow analysis, and information flow analysis. There are few tools available for automated or semi-automated static verification.  ... 
doi:10.5381/jot.2008.7.8.a6 fatcat:fp3lgqa7m5dpbktgpee7cfkedi

Reducing GUI test suites via program slicing

Stephan Arlt, Andreas Podelski, Martin Wehrle
2014 Proceedings of the 2014 International Symposium on Software Testing and Analysis - ISSTA 2014  
In this paper we propose a refined static analysis approach based on program slicing. On the theoretical side, our approach identifies and eliminates redundant event sequences in GUI test suites.  ...  In addition, based on event dependency analyses, a recently proposed static analysis approach systematically aims at selecting both relevant and feasible event sequences.  ...  KG for providing resources that allowed us to evaluate our approach.  ... 
doi:10.1145/2610384.2610391 dblp:conf/issta/ArltPW14 fatcat:efw3gb3pavfupbzh2jlb53w544

Concept study and validation of Antarctic telescope tower

Ephraim Lanford, Mark Swain, Catherine Meyers, Tamao Muramatsu, Greg Nielson, Valerie Olson, Sebastien Ronsse, Emily Vinding Nyden, Robert Hammerschlag, Patrick Little, John D. Monnier, Markus Schöller (+1 others)
2006 Advances in Stellar Interferometry  
Using data for typical and extreme wind at Dome C to generate wind loads, finite element analysis yielded lateral deflections at the top of 0.3 mm for typical winds and 12.1 mm for extreme gusts, with  ...  A subsequent project analyzed a tower designed by Hammerschlag and found fundamental resonance frequencies at 4.3 Hz for bending and 5.9 Hz for torsion; this project also designed and simulated an active  ...  Finally, the DOT analysis provided a test case that determined an appropriate level of model detail for adequate characterization of the 30m tower.  ... 
doi:10.1117/12.672346 fatcat:5fqdpmhxyfeu7jflc5hns54mbu

Efficiently manifesting asynchronous programming errors in Android apps

Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu
2018 Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018  
The key idea is to characterize APEs as specific fault patterns, and synergistically combine static analysis and dynamic UI exploration to detect and verify such errors.  ...  Android, the #1 mobile app framework, enforces the single-GUI-thread model, in which a single UI thread manages GUI rendering and event dispatching.  ...  limitations of static analysis tools).  ... 
doi:10.1145/3238147.3238170 dblp:conf/kbse/FanSCMLXP18 fatcat:76wwe6si7redrjohw6mg3wlzsa
« Previous Showing results 1 — 15 out of 4,461 results