![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
AST@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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.