Search results for "AST"

Hits ?▲	Authors	Title	Venue	Year	Link
39	Andrea De Lucia, Massimiliano Di Penta, Rocco Oliveto, Annibale Panichella	On the role of diversity measures for multi-objective test case selection.	AST	2012	DBLP DOI BibTeX RDF
39	Michael Ruegg, Peter Sommerlad	Refactoring towards seams in C++.	AST	2012	DBLP DOI BibTeX RDF
39	Kun Wu, Chunrong Fang, Zhenyu Chen 0001, Zhihong Zhao	Test case prioritization incorporating ordered sequence of program elements.	AST	2012	DBLP DOI BibTeX RDF
39	Petar Tsankov, Mohammad Torabi Dashti, David A. Basin	SECFUZZ: Fuzz-testing security protocols.	AST	2012	DBLP DOI BibTeX RDF
39	Abdulhakim Abogharaf, Rajesh Palit, Kshirasagar Naik, Ajit Singh	A methodology for energy performance testing of smartphone applications.	AST	2012	DBLP DOI BibTeX RDF
39	Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad	An industrial case study of the effectiveness of test generators.	AST	2012	DBLP DOI BibTeX RDF
39	Dudekula Mohammad Rafi, Katam Reddy Kiran Moses, Kai Petersen, Mika Mäntylä	Benefits and limitations of automated software testing: Systematic literature review and practitioner survey.	AST	2012	DBLP DOI BibTeX RDF
39	Andrea Avancini, Mariano Ceccato	Grammar based oracle for security testing of web applications.	AST	2012	DBLP DOI BibTeX RDF
39	Vladimir Entin, Mathias Winder, Bo Zhang, Stephan Christmann	Introducing model-based testing in an industrial scrum project.	AST	2012	DBLP DOI BibTeX RDF
39	Jie Zhang, Rui Yang, Zhenyu Chen 0001, Zhihong Zhao, Baowen Xu	Automated EFSM-based test case generation with scatter search.	AST	2012	DBLP DOI BibTeX RDF
39	Mathias Landhäußer, Walter F. Tichy	Automated test-case generation by cloning.	AST	2012	DBLP DOI BibTeX RDF
39	Riyadh Mahmood, Naeem Esfahani, Thabet Kacem, Nariman Mirzaei, Sam Malek, Angelos Stavrou	A whitebox approach for automated security testing of Android applications on the cloud.	AST	2012	DBLP DOI BibTeX RDF
39	Antonia Bertolino, Howard Foster, J. Jenny Li (eds.)	Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011	AST	2011	DBLP BibTeX RDF
39	Gary Kaminski, Paul Ammann, Jeff Offutt	Better predicate testing.	AST	2011	DBLP DOI BibTeX RDF
39	Michal H. Palka, Koen Claessen, Alejandro Russo, John Hughes 0001	Testing an optimising compiler by generating random lambda terms.	AST	2011	DBLP DOI BibTeX RDF
39	Xiaoying Bai, Bin Chen, Bo Ma, Yunzhan Gong	Design of intelligent agents for collaborative testing of service-based systems.	AST	2011	DBLP DOI BibTeX RDF
39	Guy Collins Ndem, Abbas Tahir, Andreas Ulrich, Helmut Goetz	Test data to reduce the complexity of unit test automation.	AST	2011	DBLP DOI BibTeX RDF
39	Valentin Chimisliu, Franz Wotawa	Abstracting timing information in UML state charts via temporal ordering and LOTOS.	AST	2011	DBLP DOI BibTeX RDF
39	Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, Andreas Foltinek	Model-driven design and validation of embedded software.	AST	2011	DBLP DOI BibTeX RDF
39	Winfried Dulz	A comfortable testplayer for analyzing statistical usage testing strategies.	AST	2011	DBLP DOI BibTeX RDF
39	Gabriel L. Zenarosa, Regis J. Leonard	Towards automated oracles for GUI input validation.	AST	2011	DBLP DOI BibTeX RDF
39	Rajesh Palit, Renuka Arya, Kshirasagar Naik, Ajit Singh	Selection and execution of user level test cases for energy cost evaluation of smartphones.	AST	2011	DBLP DOI BibTeX RDF
39	René Just, Gregory M. Kapfhammer, Franz Schweiggert	Using conditional mutation to increase the efficiency of mutation analysis.	AST	2011	DBLP DOI BibTeX RDF
39	Mario Gleirscher	Hazard-based selection of test cases.	AST	2011	DBLP DOI BibTeX RDF
39	Yingzhou Zhang, Wei Fu, Changhai Nie	monadWS: a monad-based testing tool for web services.	AST	2011	DBLP DOI BibTeX RDF
39	Cuixiong Hu, Iulian Neamtiu	Automating GUI testing for Android applications.	AST	2011	DBLP DOI BibTeX RDF
39	Laya Madani, Ioannis Parissis	Automatically testing interactive multimodal systems using task trees and fusion models.	AST	2011	DBLP DOI BibTeX RDF
39	Shaoying Liu, Shin Nakajima 0001	A framework for automatic functional testing based on formal specifications.	AST	2011	DBLP DOI BibTeX RDF
39	Nate Kube, Kevin Yoo, Daniel Hoffman	Automated testing of industrial control devices: the delphi database.	AST	2011	DBLP DOI BibTeX RDF
39	Zaynab Mousavian, Mojtaba Vahidi-Asl, Saeed Parsa	Scalable graph analyzing approach for software fault-localization.	AST	2011	DBLP DOI BibTeX RDF
39	Felipe M. Besson, Pedro M. B. Leal, Fabio Kon, Alfredo Goldman, Dejan S. Milojicic	Towards automated testing of web service choreographies.	AST	2011	DBLP DOI BibTeX RDF
39	Junhua Ding, Tong Wu, Dianxiang Xu, Jun Q. Lu, Xin-Hua Hu	Metamorphic testing of a Monte Carlo modeling program.	AST	2011	DBLP DOI BibTeX RDF
39	Hazlifah Mohd Rusli, Mazidah Puteh, Suhaimi Ibrahim, Sayed Gholam Hassan Tabatabaei	A comparative evaluation of state-of-the-art web service composition testing approaches.	AST	2011	DBLP DOI BibTeX RDF
39	Hong Zhu 0002, W. K. Chan 0001, Christof J. Budnik, Gregory M. Kapfhammer (eds.)	The 5th Workshop on Automation of Software Test, AST 2010, May 3-4, 2010, Cape Town, South Africa	AST	2010	DBLP BibTeX RDF
39	Milan Jovic, Andrea Adamoli, Dmitrijs Zaparanuks, Matthias Hauswirth	Automating performance testing of interactive Java applications.	AST	2010	DBLP DOI BibTeX RDF
39	Mike Papadakis, Nicos Malevris, Maria Kallia	Towards automating the generation of mutation tests.	AST	2010	DBLP DOI BibTeX RDF
39	Makoto Higashi, Tetsuo Yamamoto, Yasuhiro Hayase, Takashi Ishio, Katsuro Inoue	An effective method to control interrupt handler for data race detection.	AST	2010	DBLP DOI BibTeX RDF
39	Koen Claessen, John Hughes 0001, Michal H. Palka, Nicholas Smallbone, Hans Svensson	Ranking programs using black box testing.	AST	2010	DBLP DOI BibTeX RDF
39	Monalisa Sarma, P. V. R. Murthy, Sylvia Jell, Andreas Ulrich	Model-based testing in industry: a case study with two MBT tools.	AST	2010	DBLP DOI BibTeX RDF
39	René Just, Franz Schweiggert	Automating software tests with partial oracles in integrated environments.	AST	2010	DBLP DOI BibTeX RDF
39	Zhifang Liu, Bin Liu, Xiaopeng Gao	Test automation on mobile device.	AST	2010	DBLP DOI BibTeX RDF
39	Baris Güldali, Stefan Sauer 0001, Peter Winkelhane, Holger Funke, Michael Jahnich	Pattern-based generation of test plans for open distributed processing systems.	AST	2010	DBLP DOI BibTeX RDF
39	Samuel Rivas, Miguel Angel Francisco, Víctor M. Gulías	Property driven development in Erlang, by example.	AST	2010	DBLP DOI BibTeX RDF
39	Winfried Dulz, Reinhard German, Stefan Holpp, Helmut Götz	Calculating the usage probabilities of statistical usage models by constraints optimization.	AST	2010	DBLP DOI BibTeX RDF
39	Stefan J. Galler, Andreas Maller, Franz Wotawa	Automatically extracting mock object behavior from Design by Contract™ specification for test data generation.	AST	2010	DBLP DOI BibTeX RDF
39	John Hughes 0001, Ulf Norell, Jérôme Sautret	Using temporal relations to specify and test an instant messaging server.	AST	2010	DBLP DOI BibTeX RDF
39	Fabiano Cutigi Ferrari, Elisa Yumi Nakagawa, Awais Rashid, José Carlos Maldonado	Automating the mutation testing of aspect-oriented Java programs.	AST	2010	DBLP DOI BibTeX RDF
39	Christian Schwarzl, Bernhard Peischl	Generation of executable test cases based on behavioral UML system models.	AST	2010	DBLP DOI BibTeX RDF
39	Claudio de la Riva, María José Suárez Cabal, Javier Tuya	Constraint-based test database generation for SQL queries.	AST	2010	DBLP DOI BibTeX RDF
39	Christian Murphy, Moses Vaughan, Waseem Ilahi, Gail E. Kaiser	Automatic detection of previously-unseen application states for deployment environment testing and analysis.	AST	2010	DBLP DOI BibTeX RDF
39	Nicky Williams	Abstract path testing with PathCrawler.	AST	2010	DBLP DOI BibTeX RDF
39	Duc-Hoai Nguyen, Paul A. Strooper, Jörn Guy Süß	Model-based testing of multiple GUI variants using the GUI test generator.	AST	2010	DBLP DOI BibTeX RDF
39	Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè	Structural coverage of feasible code.	AST	2010	DBLP DOI BibTeX RDF
39	Dimitris Dranidis, Stephen P. Masticola, Paul A. Strooper (eds.)	Proceedings of the 4th International Workshop on Automation of Software Test, AST 2009, Vancouver, BC, Canada, May 18-19, 2009.	AST	2009	DBLP BibTeX RDF
39	J. Jenny Li, David M. Weiss 0001	Using Testing Trace for Automatic User Categorization.	AST	2009	DBLP DOI BibTeX RDF
39	Daniel Lübke, Leif Singer, Alex Salnikow	Calculating BPEL Test Coverage Through Instrumentation.	AST	2009	DBLP DOI BibTeX RDF
39	Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamarri, Dianxiang Xu	Security Test Generation Using Threat Trees.	AST	2009	DBLP DOI BibTeX RDF
39	Beatriz Pérez Lamancha, Macario Polo Usaola, Mario Piattini Velthuis	Towards an Automated Testing Framework to Manage Variability Using the UML Testing Profile.	AST	2009	DBLP DOI BibTeX RDF
39	David Talby	The Perceived Value of Authoring and Automating Acceptance Tests Using a Model Driven Development Toolset.	AST	2009	DBLP DOI BibTeX RDF
39	Panuchart Bunyakiati, Anthony Finkelstein	The Compliance Testing of Software Tools with Respect to the UML Standards Specification - The ArgoUML Case Study.	AST	2009	DBLP DOI BibTeX RDF
39	Zhong Jie Li, Jun Zhu, Liang-Jie Zhang, Naomi M. Mitsumori	Towards a Practical and Effective Method for Web Services Test Case Generation.	AST	2009	DBLP DOI BibTeX RDF
39	Venkita Subramonian, Eric Cheung, Gerald M. Karam	Automated Testing of a Converged Conferencing Application.	AST	2009	DBLP DOI BibTeX RDF
39	Lingzi Jin	Automated Functional Testing of Search Engine.	AST	2009	DBLP DOI BibTeX RDF
39	Arilo Claudio Dias Neto, Guilherme Horta Travassos	Porantim: An Approach to Support the Combination and Selection of Model-Based Testing Techniques.	AST	2009	DBLP DOI BibTeX RDF
39	Bernard Botella, Mickaël Delahaye, Stéphane Hong Tuan Ha, Nikolai Kosmatov, Patricia Mouy, Muriel Roger, Nicky Williams	Automating Structural Testing of C Programs: Experience with PathCrawler.	AST	2009	DBLP DOI BibTeX RDF
39	Birgit Hofer, Bernhard Peischl, Franz Wotawa	GUI Savvy End-to-End Testing with Smart Monkeys.	AST	2009	DBLP DOI BibTeX RDF
39	Nicky Williams, Muriel Roger	Test Generation Strategies to Measure Worst-Case Execution Time.	AST	2009	DBLP DOI BibTeX RDF
39	Suvarshi Bhadra, Alexander P. Conrad, Charles Hurkes, Brian Kirklin, Gregory M. Kapfhammer	An Experimental Study of Methods for Executing Test Suites in Memory Constrained Environments.	AST	2009	DBLP DOI BibTeX RDF
39	Tony Clark 0001	Model Based Functional Testing Using Pattern Directed Filmstrips.	AST	2009	DBLP DOI BibTeX RDF
39	Alberto Avritzer, Elaine J. Weyuker	The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model.	AST	2009	DBLP DOI BibTeX RDF
39	Madhuri R. Marri, Tao Xie 0001, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte	An Empirical Study of Testing File-System-Dependent Software with Mock Objects.	AST	2009	DBLP DOI BibTeX RDF
39	David Connolly, Frank Keenan, Fergal McCaffery	Developing Acceptance Tests from Existing Documentation Using Annotations: An Experiment.	AST	2009	DBLP DOI BibTeX RDF
39	Gordon Fraser 0001, Angelo Gargantini	Experiments on the Test Case Length in Specification Based Test Case Generation.	AST	2009	DBLP DOI BibTeX RDF
39	Chen Zhao, Yunzhi Xue, Qiuming Tao, Liang Guo, Zhaohui Wang	Automated Test Program Generation for an Industrial Optimizing Compiler.	AST	2009	DBLP DOI BibTeX RDF
39	Mengxiang Lin, Yin-li Chen, Kai Yu 0013, Guo-shi Wu	Lazy Symbolic Evaluation and Its Path Constraints Solution.	AST	2009	DBLP DOI BibTeX RDF
39	Hong Zhu 0002, W. Eric Wong, Fevzi Belli (eds.)	Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008.	AST	2008	DBLP DOI BibTeX RDF
39	Stephen P. Masticola, Michael Gall	Vision: Testing of Mechatronics Software using Agile Simulation.	AST	2008	DBLP DOI BibTeX RDF
39	Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux	A Test Generation Solution to Automate Software Testing.	AST	2008	DBLP DOI BibTeX RDF
39	Leila Naslavsky, Hadar Ziv, Debra J. Richardson	Using Model Transformation to Support Model-Based Test Coverage Measurement.	AST	2008	DBLP DOI BibTeX RDF
39	J. Jenny Li, David M. Weiss 0001, Howell Yee	An Automatically-Generated Run-Time Instrumenter to Reduce Coverage Testing Overhead.	AST	2008	DBLP DOI BibTeX RDF
39	Dave Arnold, Jean-Pierre Corriveau	Automated Instrumentation of Contracts and Scenarios for Requirements Validation in .NET.	AST	2008	DBLP DOI BibTeX RDF
39	Harald Brandl, Gordon Fraser 0001, Franz Wotawa	QR-Model Based Testing.	AST	2008	DBLP DOI BibTeX RDF
39	José Carlos Bregieiro Ribeiro, Mário Zenha Rela, Francisco Fernández de Vega	A Strategy for Evaluating Feasible and Unfeasible Test Cases for the Evolutionary Testing of Object-Oriented Software.	AST	2008	DBLP DOI BibTeX RDF
39	Christian Pfaller	Requirements-based Test Case Specification by Using Information from Model Construction.	AST	2008	DBLP DOI BibTeX RDF
39	W. Eric Wong, Andy Restrepo, Yu Qi, Byoungju Choi	An EFSM-based Test Generation for Validation of SDL Specifications.	AST	2008	DBLP DOI BibTeX RDF
39	Arilo Claudio Dias Neto, Guilherme Horta Travassos	Supporting the Selection of Model-based Testing Approaches for Software Projects.	AST	2008	DBLP DOI BibTeX RDF
39	Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He	Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin.	AST	2008	DBLP DOI BibTeX RDF
39	Ning Zhong, Zun-wen He, Jingming Kuang 0001	A Generic Formal Framework for Protocol Interoperability Test and Test Cases Minimization.	AST	2008	DBLP DOI BibTeX RDF
39	Heiko Stallbaum, Andreas Metzger, Klaus Pohl	An Automated Technique for Risk-based Test Case Generation and Prioritization.	AST	2008	DBLP DOI BibTeX RDF
39	Jacques Julliand, Pierre-Alain Masson, Régis Tissot	Generating Security Tests in Addition to Functional Tests.	AST	2008	DBLP DOI BibTeX RDF
39	Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry	Test Generation for Graphical User Interfaces Based on Symbolic Execution.	AST	2008	DBLP DOI BibTeX RDF
39	Hong Zhu 0002, W. Eric Wong, Amit M. Paradkar (eds.)	Proceedings of the Second International Workshop on Automation of Software Test, AST 2007, Minneapolis, MN, USA, May 26-26, 2007.	AST	2007	DBLP BibTeX RDF
39	Jooyoung Seo, Ahyoung Sung, Byoungju Choi, Sungbong Kang	Automating Embedded Software Testing on an Emulated Target Board.	AST	2007	DBLP DOI BibTeX RDF
39	Bo Jiang 0001, Xiang Long, Xiaopeng Gao	MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices.	AST	2007	DBLP DOI BibTeX RDF
39	Abu Zafer Javed, Paul A. Strooper, Geoffrey Watson	Automated Generation of Test Cases Using Model-Driven Architecture.	AST	2007	DBLP DOI BibTeX RDF
39	Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini	Automatic Test Data Generation for XML Schema-based Partition Testing.	AST	2007	DBLP DOI BibTeX RDF
39	Robert Nilsson, Jeff Offutt	Automated Testing of Timeliness: A Case Study.	AST	2007	DBLP DOI BibTeX RDF
39	Abdesselam Lakehal, Ioannis Parissis	Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study.	AST	2007	DBLP DOI BibTeX RDF
39	Tao Xie 0001, Kunal Taneja, Shreyas Kale, Darko Marinov	Towards a Framework for Differential Unit Testing of Object-Oriented Programs.	AST	2007	DBLP DOI BibTeX RDF
39	John A. Murphy, David Coppit	Random Generation of Test Inputs for Implicitly Defined Subdomains.	AST	2007	DBLP DOI BibTeX RDF