|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 288 occurrences of 246 keywords
|
|
|
Results
Found 749 publication records. Showing 732 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|
Displaying result #101 - #200 of 732 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|