Abstract is missing.
- Test automation on mobile deviceZhifang Liu, Bin Liu, Xiaopeng Gao. 1-7 [doi]
- Automating performance testing of interactive Java applicationsMilan Jovic, Andrea Adamoli, Dmitrijs Zaparanuks, Matthias Hauswirth. 8-15 [doi]
- Automatic detection of previously-unseen application states for deployment environment testing and analysisChristian Murphy, Moses Vaughan, Waseem Ilahi, Gail E. Kaiser. 16-23 [doi]
- Model-based testing of multiple GUI variants using the GUI test generatorDuc-Hoai Nguyen, Paul A. Strooper, Jörn Guy Süß. 24-30 [doi]
- Generation of executable test cases based on behavioral UML system modelsChristian Schwarzl, Bernhard Peischl. 31-34 [doi]
- Abstract path testing with PathCrawlerNicky Williams. 35-42 [doi]
- Automatically extracting mock object behavior from Design by Contract™ specification for test data generationStefan J. Galler, Andreas Maller, Franz Wotawa. 43-50 [doi]
- Automating the mutation testing of aspect-oriented Java programsFabiano Cutigi Ferrari, Elisa Yumi Nakagawa, Awais Rashid, José Carlos Maldonado. 51-58 [doi]
- Structural coverage of feasible codeMauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè. 59-66 [doi]
- Constraint-based test database generation for SQL queriesClaudio de la Riva, María José Suárez Cabal, Javier Tuya. 67-74 [doi]
- Property driven development in Erlang, by exampleSamuel Rivas, Miguel Angel Francisco, Víctor M. Gulías. 75-78 [doi]
- An effective method to control interrupt handler for data race detectionMakoto Higashi, Tetsuo Yamamoto, Yasuhiro Hayase, Takashi Ishio, Katsuro Inoue. 79-86 [doi]
- Model-based testing in industry: a case study with two MBT toolsMonalisa Sarma, P. V. R. Murthy, Sylvia Jell, Andreas Ulrich. 87-90 [doi]
- Automating software tests with partial oracles in integrated environmentsRené Just, Franz Schweiggert. 91-94 [doi]
- Using temporal relations to specify and test an instant messaging serverJohn Hughes, Ulf Norell, Jérôme Sautret. 95-102 [doi]
- Ranking programs using black box testingKoen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson. 103-110 [doi]
- Towards automating the generation of mutation testsMike Papadakis, Nicos Malevris, Maria Kallia. 111-118 [doi]
- Pattern-based generation of test plans for open distributed processing systemsBaris Güldali, Stefan Sauer, Peter Winkelhane, Holger Funke, Michael Jahnich. 119-126 [doi]
- Calculating the usage probabilities of statistical usage models by constraints optimizationWinfried Dulz, Reinhard German, Stefan Holpp, Helmut Götz. 127-134 [doi]