default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAST@ICSE 2011: Waikiki, Honolulu, Hawaii, USA
- Antonia Bertolino, Howard Foster, J. Jenny Li:
Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011. ACM 2011, ISBN 978-1-4503-0592-1
Model-based testing
- Junhua Ding, Tong Wu, Dianxiang Xu, Jun Q. Lu, Xin-Hua Hu
:
Metamorphic testing of a Monte Carlo modeling program. 1-7 - Valentin Chimisliu, Franz Wotawa:
Abstracting timing information in UML state charts via temporal ordering and LOTOS. 8-14 - Zaynab Mousavian, Mojtaba Vahidi-Asl, Saeed Parsa:
Scalable graph analyzing approach for software fault-localization. 15-21
Testing for web and service-based systems
- Xiaoying Bai, Bin Chen, Bo Ma, Yunzhan Gong:
Design of intelligent agents for collaborative testing of service-based systems. 22-28 - Hazlifah Mohd Rusli, Mazidah Puteh, Suhaimi Ibrahim, Sayed Gholam Hassan Tabatabaei:
A comparative evaluation of state-of-the-art web service composition testing approaches. 29-35
Test strategies I
- Winfried Dulz:
A comfortable testplayer for analyzing statistical usage testing strategies. 36-42 - Laya Madani, Ioannis Parissis:
Automatically testing interactive multimodal systems using task trees and fusion models. 43-49 - René Just, Gregory M. Kapfhammer, Franz Schweiggert:
Using conditional mutation to increase the efficiency of mutation analysis. 50-56
Test strategies II
- Gary Kaminski, Paul Ammann, Jeff Offutt:
Better predicate testing. 57-63 - Mario Gleirscher:
Hazard-based selection of test cases. 64-70
Applications of testing I
- Nate Kube, Kevin Yoo, Daniel Hoffman:
Automated testing of industrial control devices: the delphi database. 71-76 - Cuixiong Hu, Iulian Neamtiu:
Automating GUI testing for Android applications. 77-83
Applications of testing II
- Rajesh Palit, Renuka Arya, Kshirasagar Naik, Ajit Singh:
Selection and execution of user level test cases for energy cost evaluation of smartphones. 84-90 - Michal H. Palka, Koen Claessen, Alejandro Russo, John Hughes:
Testing an optimising compiler by generating random lambda terms. 91-97 - Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, Andreas Foltinek:
Model-driven design and validation of embedded software. 98-104
Poster session 1
- Guy Collins Ndem, Abbas Tahir, Andreas Ulrich, Helmut Goetz:
Test data to reduce the complexity of unit test automation. 105-106 - Shaoying Liu, Shin Nakajima:
A framework for automatic functional testing based on formal specifications. 107-108
Poster session 2
- Felipe M. Besson, Pedro M. B. Leal, Fabio Kon, Alfredo Goldman, Dejan S. Milojicic:
Towards automated testing of web service choreographies. 109-110 - Yingzhou Zhang, Wei Fu, Changhai Nie:
monadWS: a monad-based testing tool for web services. 111-112 - Gabriel L. Zenarosa, Regis J. Leonard:
Towards automated oracles for GUI input validation. 113-114
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 23:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
