| |
Ammann, Paul
|
AST '11: "Better Predicate Testing ..."
Better Predicate Testing
Gary Kaminski, Paul Ammann, and Jeff Offutt
(George Mason University, USA)
@InProceedings{AST11p57,
author = {Gary Kaminski and Paul Ammann and Jeff Offutt},
title = {Better Predicate Testing},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {57-56},
doi = {},
year = {2011},
}
Article: icsews11astfull-30-p doi:
|
| |
Arya, Renuka |
AST '11: "Selection and Execution of ..."
Selection and Execution of User Level Test Cases for Energy Cost Evaluation of Smartphones
Rajesh Palit, Renuka Arya, Kshirasagar Naik, and Ajit Singh
(University of Waterloo, Canada)
@InProceedings{AST11p85,
author = {Rajesh Palit and Renuka Arya and Kshirasagar Naik and Ajit Singh},
title = {Selection and Execution of User Level Test Cases for Energy Cost Evaluation of Smartphones},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {85-84},
doi = {},
year = {2011},
}
Article: icsews11astfull-32-p doi:
|
| |
Bai, Xiaoying
|
AST '11: "Design of Intelligent Agents ..."
Design of Intelligent Agents for Collaborative Testing of Service-Based Systems
Xiaoying Bai, Bin Chen, Bo Ma, and Yunzhan Gong
(Tsinghua University, China; Beijing University of Posts and Telecommunications, China)
@InProceedings{AST11p22,
author = {Xiaoying Bai and Bin Chen and Bo Ma and Yunzhan Gong},
title = {Design of Intelligent Agents for Collaborative Testing of Service-Based Systems},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {22-21},
doi = {},
year = {2011},
}
Article: icsews11astfull-2-p doi:
|
| |
Besson, Felipe M. |
AST '11: "Towards Automated Testing ..."
Towards Automated Testing of Web Service Choreographies
Felipe M. Besson, Pedro M. B. Leal, Fabio Kon, Alfredo Goldman, and Dejan Milojicic
(University of São Paulo, Brazil; Hewlett Packard Laboratories, USA)
@InProceedings{AST11p5,
author = {Felipe M. Besson and Pedro M. B. Leal and Fabio Kon and Alfredo Goldman and Dejan Milojicic},
title = {Towards Automated Testing of Web Service Choreographies},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {5-4},
doi = {},
year = {2011},
}
Article: icsews11astposter-5-p doi:
|
| |
Chen, Bin
|
AST '11: "Design of Intelligent Agents ..."
Design of Intelligent Agents for Collaborative Testing of Service-Based Systems
Xiaoying Bai, Bin Chen, Bo Ma, and Yunzhan Gong
(Tsinghua University, China; Beijing University of Posts and Telecommunications, China)
@InProceedings{AST11p22,
author = {Xiaoying Bai and Bin Chen and Bo Ma and Yunzhan Gong},
title = {Design of Intelligent Agents for Collaborative Testing of Service-Based Systems},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {22-21},
doi = {},
year = {2011},
}
Article: icsews11astfull-2-p doi:
|
| |
Chimisliu, Valentin |
AST '11: "Abstracting Timing Information ..."
Abstracting Timing Information in UML State Charts via Temporal Ordering and LOTOS
Valentin Chimisliu and Franz Wotawa
(TU Graz, Austria)
@InProceedings{AST11p8,
author = {Valentin Chimisliu and Franz Wotawa},
title = {Abstracting Timing Information in UML State Charts via Temporal Ordering and LOTOS},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {8-7},
doi = {},
year = {2011},
}
Article: icsews11astfull-18-p doi:
|
| |
Claessen, Koen |
AST '11: "Testing an Optimising Compiler ..."
Testing an Optimising Compiler by Generating Random Lambda Terms
Michał H. Pałka, Koen Claessen, Alejandro Russo, and John Hughes
(Chalmers University of Technology, Sweden; Quviq AB, Sweden)
@InProceedings{AST11p92,
author = {Michał H. Pałka and Koen Claessen and Alejandro Russo and John Hughes},
title = {Testing an Optimising Compiler by Generating Random Lambda Terms},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {92-91},
doi = {},
year = {2011},
}
Article: icsews11astfull-24-p doi:
|
| |
Di Guglielmo, Giuseppe
|
AST '11: "Model-Driven Design and Validation ..."
Model-Driven Design and Validation of Embedded Software
Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, and Andreas Foltinek
(The University of Tokyo, Japan; University of Verona, Italy; STM Products srl, Italy; IMACS GmbH, Germany)
@InProceedings{AST11p99,
author = {Giuseppe Di Guglielmo and Masahiro Fujita and Luigi Di Guglielmo and Franco Fummi and Graziano Pravadelli and Cristina Marconcini and Andreas Foltinek},
title = {Model-Driven Design and Validation of Embedded Software},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {99-98},
doi = {},
year = {2011},
}
Article: icsews11astfull-33-p doi:
|
| |
Di Guglielmo, Luigi |
AST '11: "Model-Driven Design and Validation ..."
Model-Driven Design and Validation of Embedded Software
Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, and Andreas Foltinek
(The University of Tokyo, Japan; University of Verona, Italy; STM Products srl, Italy; IMACS GmbH, Germany)
@InProceedings{AST11p99,
author = {Giuseppe Di Guglielmo and Masahiro Fujita and Luigi Di Guglielmo and Franco Fummi and Graziano Pravadelli and Cristina Marconcini and Andreas Foltinek},
title = {Model-Driven Design and Validation of Embedded Software},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {99-98},
doi = {},
year = {2011},
}
Article: icsews11astfull-33-p doi:
|
| |
Ding, Junhua |
AST '11: "Metamorphic Testing of a Monte ..."
Metamorphic Testing of a Monte Carlo Modeling Program
Junhua Ding, Tong Wu, Dianxiang Xu, Jun Q. Lu, and Xin-Hua Hu
(East Carolina University, USA; Dakota State University, USA)
@InProceedings{AST11p1,
author = {Junhua Ding and Tong Wu and Dianxiang Xu and Jun Q. Lu and Xin-Hua Hu},
title = {Metamorphic Testing of a Monte Carlo Modeling Program},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2011},
}
Article: icsews11astfull-14-p doi:
|
| |
Dulz, Winfried |
AST '11: "A Comfortable TestPlayer for ..."
A Comfortable TestPlayer for Analyzing Statistical Usage Testing Strategies
Winfried Dulz
(University of Erlangen-Nuremberg, Germany)
@InProceedings{AST11p36,
author = {Winfried Dulz},
title = {A Comfortable TestPlayer for Analyzing Statistical Usage Testing Strategies},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {36-35},
doi = {},
year = {2011},
}
Article: icsews11astfull-11-p doi:
|
| |
Foltinek, Andreas
|
AST '11: "Model-Driven Design and Validation ..."
Model-Driven Design and Validation of Embedded Software
Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, and Andreas Foltinek
(The University of Tokyo, Japan; University of Verona, Italy; STM Products srl, Italy; IMACS GmbH, Germany)
@InProceedings{AST11p99,
author = {Giuseppe Di Guglielmo and Masahiro Fujita and Luigi Di Guglielmo and Franco Fummi and Graziano Pravadelli and Cristina Marconcini and Andreas Foltinek},
title = {Model-Driven Design and Validation of Embedded Software},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {99-98},
doi = {},
year = {2011},
}
Article: icsews11astfull-33-p doi:
|
| |
Fu, Wei |
AST '11: "monadWS: A Monad-Based Testing ..."
monadWS: A Monad-Based Testing Tool for Web Services
Yingzhou Zhang, Wei Fu, and Changhai Nie
(Nanjing University of Posts and Telecommunications, China; Nanjing University, China)
@InProceedings{AST11p7,
author = {Yingzhou Zhang and Wei Fu and Changhai Nie},
title = {monadWS: A Monad-Based Testing Tool for Web Services},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {7-6},
doi = {},
year = {2011},
}
Article: icsews11astposter-16-p doi:
|
| |
Fujita, Masahiro |
AST '11: "Model-Driven Design and Validation ..."
Model-Driven Design and Validation of Embedded Software
Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, and Andreas Foltinek
(The University of Tokyo, Japan; University of Verona, Italy; STM Products srl, Italy; IMACS GmbH, Germany)
@InProceedings{AST11p99,
author = {Giuseppe Di Guglielmo and Masahiro Fujita and Luigi Di Guglielmo and Franco Fummi and Graziano Pravadelli and Cristina Marconcini and Andreas Foltinek},
title = {Model-Driven Design and Validation of Embedded Software},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {99-98},
doi = {},
year = {2011},
}
Article: icsews11astfull-33-p doi:
|
| |
Fummi, Franco |
AST '11: "Model-Driven Design and Validation ..."
Model-Driven Design and Validation of Embedded Software
Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, and Andreas Foltinek
(The University of Tokyo, Japan; University of Verona, Italy; STM Products srl, Italy; IMACS GmbH, Germany)
@InProceedings{AST11p99,
author = {Giuseppe Di Guglielmo and Masahiro Fujita and Luigi Di Guglielmo and Franco Fummi and Graziano Pravadelli and Cristina Marconcini and Andreas Foltinek},
title = {Model-Driven Design and Validation of Embedded Software},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {99-98},
doi = {},
year = {2011},
}
Article: icsews11astfull-33-p doi:
|
| |
Gleirscher, Mario
|
AST '11: "Hazard-based Selection of ..."
Hazard-based Selection of Test Cases
Mario Gleirscher
(TU München, Germany)
@InProceedings{AST11p64,
author = {Mario Gleirscher},
title = {Hazard-based Selection of Test Cases},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {64-63},
doi = {},
year = {2011},
}
Article: icsews11astfull-34-p doi:
|
| |
Goetz, Helmut |
AST '11: "Test Data to Reduce the Complexity ..."
Test Data to Reduce the Complexity of Unit Test Automation
Guy Collins Ndem, Abbas Tahir, Andreas Ulrich, and Helmut Goetz
(Siemens AG, Germany)
@InProceedings{AST11p1,
author = {Guy Collins Ndem and Abbas Tahir and Andreas Ulrich and Helmut Goetz},
title = {Test Data to Reduce the Complexity of Unit Test Automation},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2011},
}
Article: icsews11astposter-28-p doi:
|
| |
Goldman, Alfredo |
AST '11: "Towards Automated Testing ..."
Towards Automated Testing of Web Service Choreographies
Felipe M. Besson, Pedro M. B. Leal, Fabio Kon, Alfredo Goldman, and Dejan Milojicic
(University of São Paulo, Brazil; Hewlett Packard Laboratories, USA)
@InProceedings{AST11p5,
author = {Felipe M. Besson and Pedro M. B. Leal and Fabio Kon and Alfredo Goldman and Dejan Milojicic},
title = {Towards Automated Testing of Web Service Choreographies},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {5-4},
doi = {},
year = {2011},
}
Article: icsews11astposter-5-p doi:
|
| |
Gong, Yunzhan |
AST '11: "Design of Intelligent Agents ..."
Design of Intelligent Agents for Collaborative Testing of Service-Based Systems
Xiaoying Bai, Bin Chen, Bo Ma, and Yunzhan Gong
(Tsinghua University, China; Beijing University of Posts and Telecommunications, China)
@InProceedings{AST11p22,
author = {Xiaoying Bai and Bin Chen and Bo Ma and Yunzhan Gong},
title = {Design of Intelligent Agents for Collaborative Testing of Service-Based Systems},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {22-21},
doi = {},
year = {2011},
}
Article: icsews11astfull-2-p doi:
|
| |
Hoffman, Daniel
|
AST '11: "Automated Testing of Industrial ..."
Automated Testing of Industrial Control Devices: The Delphi Database
Nate Kube, Kevin Yoo, and Daniel Hoffman
(Wurldtech Security Technologies, Canada; University of Victoria, Canada)
@InProceedings{AST11p71,
author = {Nate Kube and Kevin Yoo and Daniel Hoffman},
title = {Automated Testing of Industrial Control Devices: The Delphi Database},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {71-70},
doi = {},
year = {2011},
}
Article: icsews11astfull-1-p doi:
|
| |
Hu, Cuixiong |
AST '11: "Automating GUI Testing for ..."
Automating GUI Testing for Android Applications
Cuixiong Hu and Iulian Neamtiu
(UC Riverside, USA)
@InProceedings{AST11p78,
author = {Cuixiong Hu and Iulian Neamtiu},
title = {Automating GUI Testing for Android Applications},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {78-77},
doi = {},
year = {2011},
}
Article: icsews11astfull-3-p doi:
|
| |
Hu, Xin-Hua |
AST '11: "Metamorphic Testing of a Monte ..."
Metamorphic Testing of a Monte Carlo Modeling Program
Junhua Ding, Tong Wu, Dianxiang Xu, Jun Q. Lu, and Xin-Hua Hu
(East Carolina University, USA; Dakota State University, USA)
@InProceedings{AST11p1,
author = {Junhua Ding and Tong Wu and Dianxiang Xu and Jun Q. Lu and Xin-Hua Hu},
title = {Metamorphic Testing of a Monte Carlo Modeling Program},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2011},
}
Article: icsews11astfull-14-p doi:
|
| |
Hughes, John |
AST '11: "Testing an Optimising Compiler ..."
Testing an Optimising Compiler by Generating Random Lambda Terms
Michał H. Pałka, Koen Claessen, Alejandro Russo, and John Hughes
(Chalmers University of Technology, Sweden; Quviq AB, Sweden)
@InProceedings{AST11p92,
author = {Michał H. Pałka and Koen Claessen and Alejandro Russo and John Hughes},
title = {Testing an Optimising Compiler by Generating Random Lambda Terms},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {92-91},
doi = {},
year = {2011},
}
Article: icsews11astfull-24-p doi:
|
| |
Ibrahim, Suhaimi
|
AST '11: "A Comparative Evaluation of ..."
A Comparative Evaluation of State-of-the-Art Web Service Composition Testing Approaches
Hazlifah Mohd Rusli, Mazidah Puteh, Suhaimi Ibrahim, and Sayed Gholam Hassan Tabatabaei
(Universiti Teknologi MARA, Malaysia; Universiti Teknologi Malaysia, Malaysia)
@InProceedings{AST11p29,
author = {Hazlifah Mohd Rusli and Mazidah Puteh and Suhaimi Ibrahim and Sayed Gholam Hassan Tabatabaei},
title = {A Comparative Evaluation of State-of-the-Art Web Service Composition Testing Approaches},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {29-28},
doi = {},
year = {2011},
}
Article: icsews11astfull-4-p doi:
|
| |
Just, René
|
AST '11: "Using Conditional Mutation ..."
Using Conditional Mutation to Increase the Efficiency of Mutation Analysis
René Just, Gregory M. Kapfhammer, and Franz Schweiggert
(Ulm University, Germany; Allegheny College, USA)
@InProceedings{AST11p50,
author = {René Just and Gregory M. Kapfhammer and Franz Schweiggert},
title = {Using Conditional Mutation to Increase the Efficiency of Mutation Analysis},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {50-49},
doi = {},
year = {2011},
}
Article: icsews11astfull-29-p doi:
|
| |
Kaminski, Gary
|
AST '11: "Better Predicate Testing ..."
Better Predicate Testing
Gary Kaminski, Paul Ammann, and Jeff Offutt
(George Mason University, USA)
@InProceedings{AST11p57,
author = {Gary Kaminski and Paul Ammann and Jeff Offutt},
title = {Better Predicate Testing},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {57-56},
doi = {},
year = {2011},
}
Article: icsews11astfull-30-p doi:
|
| |
Kapfhammer, Gregory M. |
AST '11: "Using Conditional Mutation ..."
Using Conditional Mutation to Increase the Efficiency of Mutation Analysis
René Just, Gregory M. Kapfhammer, and Franz Schweiggert
(Ulm University, Germany; Allegheny College, USA)
@InProceedings{AST11p50,
author = {René Just and Gregory M. Kapfhammer and Franz Schweiggert},
title = {Using Conditional Mutation to Increase the Efficiency of Mutation Analysis},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {50-49},
doi = {},
year = {2011},
}
Article: icsews11astfull-29-p doi:
|
| |
Kon, Fabio |
AST '11: "Towards Automated Testing ..."
Towards Automated Testing of Web Service Choreographies
Felipe M. Besson, Pedro M. B. Leal, Fabio Kon, Alfredo Goldman, and Dejan Milojicic
(University of São Paulo, Brazil; Hewlett Packard Laboratories, USA)
@InProceedings{AST11p5,
author = {Felipe M. Besson and Pedro M. B. Leal and Fabio Kon and Alfredo Goldman and Dejan Milojicic},
title = {Towards Automated Testing of Web Service Choreographies},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {5-4},
doi = {},
year = {2011},
}
Article: icsews11astposter-5-p doi:
|
| |
Kube, Nate |
AST '11: "Automated Testing of Industrial ..."
Automated Testing of Industrial Control Devices: The Delphi Database
Nate Kube, Kevin Yoo, and Daniel Hoffman
(Wurldtech Security Technologies, Canada; University of Victoria, Canada)
@InProceedings{AST11p71,
author = {Nate Kube and Kevin Yoo and Daniel Hoffman},
title = {Automated Testing of Industrial Control Devices: The Delphi Database},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {71-70},
doi = {},
year = {2011},
}
Article: icsews11astfull-1-p doi:
|
| |
Leal, Pedro M. B.
|
AST '11: "Towards Automated Testing ..."
Towards Automated Testing of Web Service Choreographies
Felipe M. Besson, Pedro M. B. Leal, Fabio Kon, Alfredo Goldman, and Dejan Milojicic
(University of São Paulo, Brazil; Hewlett Packard Laboratories, USA)
@InProceedings{AST11p5,
author = {Felipe M. Besson and Pedro M. B. Leal and Fabio Kon and Alfredo Goldman and Dejan Milojicic},
title = {Towards Automated Testing of Web Service Choreographies},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {5-4},
doi = {},
year = {2011},
}
Article: icsews11astposter-5-p doi:
|
| |
Leonard, Regis J. |
AST '11: "Towards Automated Oracles ..."
Towards Automated Oracles for GUI Input Validation
Gabriel L. Zenarosa and Regis J. Leonard
(University of Pittsburgh, USA)
@InProceedings{AST11p9,
author = {Gabriel L. Zenarosa and Regis J. Leonard},
title = {Towards Automated Oracles for GUI Input Validation},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {9-8},
doi = {},
year = {2011},
}
Article: icsews11astposter-8-p doi:
|
| |
Liu, Shaoying |
AST '11: "A Framework for Automatic ..."
A Framework for Automatic Functional Testing Based on Formal Specifications
Shaoying Liu and Shin Nakajima
(Hosei University, Japan; NII, Japan)
@InProceedings{AST11p3,
author = {Shaoying Liu and Shin Nakajima},
title = {A Framework for Automatic Functional Testing Based on Formal Specifications},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {3-2},
doi = {},
year = {2011},
}
Article: icsews11astposter-7-p doi:
|
| |
Lu, Jun Q. |
AST '11: "Metamorphic Testing of a Monte ..."
Metamorphic Testing of a Monte Carlo Modeling Program
Junhua Ding, Tong Wu, Dianxiang Xu, Jun Q. Lu, and Xin-Hua Hu
(East Carolina University, USA; Dakota State University, USA)
@InProceedings{AST11p1,
author = {Junhua Ding and Tong Wu and Dianxiang Xu and Jun Q. Lu and Xin-Hua Hu},
title = {Metamorphic Testing of a Monte Carlo Modeling Program},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2011},
}
Article: icsews11astfull-14-p doi:
|
| |
Ma, Bo
|
AST '11: "Design of Intelligent Agents ..."
Design of Intelligent Agents for Collaborative Testing of Service-Based Systems
Xiaoying Bai, Bin Chen, Bo Ma, and Yunzhan Gong
(Tsinghua University, China; Beijing University of Posts and Telecommunications, China)
@InProceedings{AST11p22,
author = {Xiaoying Bai and Bin Chen and Bo Ma and Yunzhan Gong},
title = {Design of Intelligent Agents for Collaborative Testing of Service-Based Systems},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {22-21},
doi = {},
year = {2011},
}
Article: icsews11astfull-2-p doi:
|
| |
Madani, Laya |
AST '11: "Automatically Testing Interactive ..."
Automatically Testing Interactive Multimodal Systems Using Task Trees and Fusion Models
Laya Madani and Ioannis Parissis
(University Al Baath, Syria and Laboratoire d’Informatique de Grenoble, France; University of Grenoble and Grenoble INP - LCIS, France)
@InProceedings{AST11p43,
author = {Laya Madani and Ioannis Parissis},
title = {Automatically Testing Interactive Multimodal Systems Using Task Trees and Fusion Models},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {43-42},
doi = {},
year = {2011},
}
Article: icsews11astfull-20-p doi:
|
| |
Marconcini, Cristina |
AST '11: "Model-Driven Design and Validation ..."
Model-Driven Design and Validation of Embedded Software
Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, and Andreas Foltinek
(The University of Tokyo, Japan; University of Verona, Italy; STM Products srl, Italy; IMACS GmbH, Germany)
@InProceedings{AST11p99,
author = {Giuseppe Di Guglielmo and Masahiro Fujita and Luigi Di Guglielmo and Franco Fummi and Graziano Pravadelli and Cristina Marconcini and Andreas Foltinek},
title = {Model-Driven Design and Validation of Embedded Software},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {99-98},
doi = {},
year = {2011},
}
Article: icsews11astfull-33-p doi:
|
| |
Milojicic, Dejan |
AST '11: "Towards Automated Testing ..."
Towards Automated Testing of Web Service Choreographies
Felipe M. Besson, Pedro M. B. Leal, Fabio Kon, Alfredo Goldman, and Dejan Milojicic
(University of São Paulo, Brazil; Hewlett Packard Laboratories, USA)
@InProceedings{AST11p5,
author = {Felipe M. Besson and Pedro M. B. Leal and Fabio Kon and Alfredo Goldman and Dejan Milojicic},
title = {Towards Automated Testing of Web Service Choreographies},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {5-4},
doi = {},
year = {2011},
}
Article: icsews11astposter-5-p doi:
|
| |
Naik, Kshirasagar
|
AST '11: "Selection and Execution of ..."
Selection and Execution of User Level Test Cases for Energy Cost Evaluation of Smartphones
Rajesh Palit, Renuka Arya, Kshirasagar Naik, and Ajit Singh
(University of Waterloo, Canada)
@InProceedings{AST11p85,
author = {Rajesh Palit and Renuka Arya and Kshirasagar Naik and Ajit Singh},
title = {Selection and Execution of User Level Test Cases for Energy Cost Evaluation of Smartphones},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {85-84},
doi = {},
year = {2011},
}
Article: icsews11astfull-32-p doi:
|
| |
Nakajima, Shin |
AST '11: "A Framework for Automatic ..."
A Framework for Automatic Functional Testing Based on Formal Specifications
Shaoying Liu and Shin Nakajima
(Hosei University, Japan; NII, Japan)
@InProceedings{AST11p3,
author = {Shaoying Liu and Shin Nakajima},
title = {A Framework for Automatic Functional Testing Based on Formal Specifications},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {3-2},
doi = {},
year = {2011},
}
Article: icsews11astposter-7-p doi:
|
| |
Ndem, Guy Collins |
AST '11: "Test Data to Reduce the Complexity ..."
Test Data to Reduce the Complexity of Unit Test Automation
Guy Collins Ndem, Abbas Tahir, Andreas Ulrich, and Helmut Goetz
(Siemens AG, Germany)
@InProceedings{AST11p1,
author = {Guy Collins Ndem and Abbas Tahir and Andreas Ulrich and Helmut Goetz},
title = {Test Data to Reduce the Complexity of Unit Test Automation},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2011},
}
Article: icsews11astposter-28-p doi:
|
| |
Neamtiu, Iulian |
AST '11: "Automating GUI Testing for ..."
Automating GUI Testing for Android Applications
Cuixiong Hu and Iulian Neamtiu
(UC Riverside, USA)
@InProceedings{AST11p78,
author = {Cuixiong Hu and Iulian Neamtiu},
title = {Automating GUI Testing for Android Applications},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {78-77},
doi = {},
year = {2011},
}
Article: icsews11astfull-3-p doi:
|
| |
Nie, Changhai |
AST '11: "monadWS: A Monad-Based Testing ..."
monadWS: A Monad-Based Testing Tool for Web Services
Yingzhou Zhang, Wei Fu, and Changhai Nie
(Nanjing University of Posts and Telecommunications, China; Nanjing University, China)
@InProceedings{AST11p7,
author = {Yingzhou Zhang and Wei Fu and Changhai Nie},
title = {monadWS: A Monad-Based Testing Tool for Web Services},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {7-6},
doi = {},
year = {2011},
}
Article: icsews11astposter-16-p doi:
|
| |
Offutt, Jeff
|
AST '11: "Better Predicate Testing ..."
Better Predicate Testing
Gary Kaminski, Paul Ammann, and Jeff Offutt
(George Mason University, USA)
@InProceedings{AST11p57,
author = {Gary Kaminski and Paul Ammann and Jeff Offutt},
title = {Better Predicate Testing},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {57-56},
doi = {},
year = {2011},
}
Article: icsews11astfull-30-p doi:
|
| |
Palit, Rajesh
|
AST '11: "Selection and Execution of ..."
Selection and Execution of User Level Test Cases for Energy Cost Evaluation of Smartphones
Rajesh Palit, Renuka Arya, Kshirasagar Naik, and Ajit Singh
(University of Waterloo, Canada)
@InProceedings{AST11p85,
author = {Rajesh Palit and Renuka Arya and Kshirasagar Naik and Ajit Singh},
title = {Selection and Execution of User Level Test Cases for Energy Cost Evaluation of Smartphones},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {85-84},
doi = {},
year = {2011},
}
Article: icsews11astfull-32-p doi:
|
| |
Pałka, Michał H. |
AST '11: "Testing an Optimising Compiler ..."
Testing an Optimising Compiler by Generating Random Lambda Terms
Michał H. Pałka, Koen Claessen, Alejandro Russo, and John Hughes
(Chalmers University of Technology, Sweden; Quviq AB, Sweden)
@InProceedings{AST11p92,
author = {Michał H. Pałka and Koen Claessen and Alejandro Russo and John Hughes},
title = {Testing an Optimising Compiler by Generating Random Lambda Terms},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {92-91},
doi = {},
year = {2011},
}
Article: icsews11astfull-24-p doi:
|
| |
Parissis, Ioannis |
AST '11: "Automatically Testing Interactive ..."
Automatically Testing Interactive Multimodal Systems Using Task Trees and Fusion Models
Laya Madani and Ioannis Parissis
(University Al Baath, Syria and Laboratoire d’Informatique de Grenoble, France; University of Grenoble and Grenoble INP - LCIS, France)
@InProceedings{AST11p43,
author = {Laya Madani and Ioannis Parissis},
title = {Automatically Testing Interactive Multimodal Systems Using Task Trees and Fusion Models},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {43-42},
doi = {},
year = {2011},
}
Article: icsews11astfull-20-p doi:
|
| |
Parsa, Saeed |
AST '11: "Scalable Graph Analyzing Approach ..."
Scalable Graph Analyzing Approach for Software Fault-Localization
Mojtaba Vahidi-Asl and Saeed Parsa
(Iran University of Science and Technology, Iran)
@InProceedings{AST11p15,
author = {Mojtaba Vahidi-Asl and Saeed Parsa},
title = {Scalable Graph Analyzing Approach for Software Fault-Localization},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {15-14},
doi = {},
year = {2011},
}
Article: icsews11astfull-27-p doi:
|
| |
Pravadelli, Graziano |
AST '11: "Model-Driven Design and Validation ..."
Model-Driven Design and Validation of Embedded Software
Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, and Andreas Foltinek
(The University of Tokyo, Japan; University of Verona, Italy; STM Products srl, Italy; IMACS GmbH, Germany)
@InProceedings{AST11p99,
author = {Giuseppe Di Guglielmo and Masahiro Fujita and Luigi Di Guglielmo and Franco Fummi and Graziano Pravadelli and Cristina Marconcini and Andreas Foltinek},
title = {Model-Driven Design and Validation of Embedded Software},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {99-98},
doi = {},
year = {2011},
}
Article: icsews11astfull-33-p doi:
|
| |
Puteh, Mazidah |
AST '11: "A Comparative Evaluation of ..."
A Comparative Evaluation of State-of-the-Art Web Service Composition Testing Approaches
Hazlifah Mohd Rusli, Mazidah Puteh, Suhaimi Ibrahim, and Sayed Gholam Hassan Tabatabaei
(Universiti Teknologi MARA, Malaysia; Universiti Teknologi Malaysia, Malaysia)
@InProceedings{AST11p29,
author = {Hazlifah Mohd Rusli and Mazidah Puteh and Suhaimi Ibrahim and Sayed Gholam Hassan Tabatabaei},
title = {A Comparative Evaluation of State-of-the-Art Web Service Composition Testing Approaches},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {29-28},
doi = {},
year = {2011},
}
Article: icsews11astfull-4-p doi:
|
| |
Rusli, Hazlifah Mohd
|
AST '11: "A Comparative Evaluation of ..."
A Comparative Evaluation of State-of-the-Art Web Service Composition Testing Approaches
Hazlifah Mohd Rusli, Mazidah Puteh, Suhaimi Ibrahim, and Sayed Gholam Hassan Tabatabaei
(Universiti Teknologi MARA, Malaysia; Universiti Teknologi Malaysia, Malaysia)
@InProceedings{AST11p29,
author = {Hazlifah Mohd Rusli and Mazidah Puteh and Suhaimi Ibrahim and Sayed Gholam Hassan Tabatabaei},
title = {A Comparative Evaluation of State-of-the-Art Web Service Composition Testing Approaches},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {29-28},
doi = {},
year = {2011},
}
Article: icsews11astfull-4-p doi:
|
| |
Russo, Alejandro |
AST '11: "Testing an Optimising Compiler ..."
Testing an Optimising Compiler by Generating Random Lambda Terms
Michał H. Pałka, Koen Claessen, Alejandro Russo, and John Hughes
(Chalmers University of Technology, Sweden; Quviq AB, Sweden)
@InProceedings{AST11p92,
author = {Michał H. Pałka and Koen Claessen and Alejandro Russo and John Hughes},
title = {Testing an Optimising Compiler by Generating Random Lambda Terms},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {92-91},
doi = {},
year = {2011},
}
Article: icsews11astfull-24-p doi:
|
| |
Schweiggert, Franz
|
AST '11: "Using Conditional Mutation ..."
Using Conditional Mutation to Increase the Efficiency of Mutation Analysis
René Just, Gregory M. Kapfhammer, and Franz Schweiggert
(Ulm University, Germany; Allegheny College, USA)
@InProceedings{AST11p50,
author = {René Just and Gregory M. Kapfhammer and Franz Schweiggert},
title = {Using Conditional Mutation to Increase the Efficiency of Mutation Analysis},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {50-49},
doi = {},
year = {2011},
}
Article: icsews11astfull-29-p doi:
|
| |
Singh, Ajit |
AST '11: "Selection and Execution of ..."
Selection and Execution of User Level Test Cases for Energy Cost Evaluation of Smartphones
Rajesh Palit, Renuka Arya, Kshirasagar Naik, and Ajit Singh
(University of Waterloo, Canada)
@InProceedings{AST11p85,
author = {Rajesh Palit and Renuka Arya and Kshirasagar Naik and Ajit Singh},
title = {Selection and Execution of User Level Test Cases for Energy Cost Evaluation of Smartphones},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {85-84},
doi = {},
year = {2011},
}
Article: icsews11astfull-32-p doi:
|
| |
Tabatabaei, Sayed Gholam Hassan
|
AST '11: "A Comparative Evaluation of ..."
A Comparative Evaluation of State-of-the-Art Web Service Composition Testing Approaches
Hazlifah Mohd Rusli, Mazidah Puteh, Suhaimi Ibrahim, and Sayed Gholam Hassan Tabatabaei
(Universiti Teknologi MARA, Malaysia; Universiti Teknologi Malaysia, Malaysia)
@InProceedings{AST11p29,
author = {Hazlifah Mohd Rusli and Mazidah Puteh and Suhaimi Ibrahim and Sayed Gholam Hassan Tabatabaei},
title = {A Comparative Evaluation of State-of-the-Art Web Service Composition Testing Approaches},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {29-28},
doi = {},
year = {2011},
}
Article: icsews11astfull-4-p doi:
|
| |
Tahir, Abbas |
AST '11: "Test Data to Reduce the Complexity ..."
Test Data to Reduce the Complexity of Unit Test Automation
Guy Collins Ndem, Abbas Tahir, Andreas Ulrich, and Helmut Goetz
(Siemens AG, Germany)
@InProceedings{AST11p1,
author = {Guy Collins Ndem and Abbas Tahir and Andreas Ulrich and Helmut Goetz},
title = {Test Data to Reduce the Complexity of Unit Test Automation},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2011},
}
Article: icsews11astposter-28-p doi:
|
| |
Ulrich, Andreas
|
AST '11: "Test Data to Reduce the Complexity ..."
Test Data to Reduce the Complexity of Unit Test Automation
Guy Collins Ndem, Abbas Tahir, Andreas Ulrich, and Helmut Goetz
(Siemens AG, Germany)
@InProceedings{AST11p1,
author = {Guy Collins Ndem and Abbas Tahir and Andreas Ulrich and Helmut Goetz},
title = {Test Data to Reduce the Complexity of Unit Test Automation},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2011},
}
Article: icsews11astposter-28-p doi:
|
| |
Vahidi-Asl, Mojtaba
|
AST '11: "Scalable Graph Analyzing Approach ..."
Scalable Graph Analyzing Approach for Software Fault-Localization
Mojtaba Vahidi-Asl and Saeed Parsa
(Iran University of Science and Technology, Iran)
@InProceedings{AST11p15,
author = {Mojtaba Vahidi-Asl and Saeed Parsa},
title = {Scalable Graph Analyzing Approach for Software Fault-Localization},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {15-14},
doi = {},
year = {2011},
}
Article: icsews11astfull-27-p doi:
|
| |
Wotawa, Franz
|
AST '11: "Abstracting Timing Information ..."
Abstracting Timing Information in UML State Charts via Temporal Ordering and LOTOS
Valentin Chimisliu and Franz Wotawa
(TU Graz, Austria)
@InProceedings{AST11p8,
author = {Valentin Chimisliu and Franz Wotawa},
title = {Abstracting Timing Information in UML State Charts via Temporal Ordering and LOTOS},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {8-7},
doi = {},
year = {2011},
}
Article: icsews11astfull-18-p doi:
|
| |
Wu, Tong |
AST '11: "Metamorphic Testing of a Monte ..."
Metamorphic Testing of a Monte Carlo Modeling Program
Junhua Ding, Tong Wu, Dianxiang Xu, Jun Q. Lu, and Xin-Hua Hu
(East Carolina University, USA; Dakota State University, USA)
@InProceedings{AST11p1,
author = {Junhua Ding and Tong Wu and Dianxiang Xu and Jun Q. Lu and Xin-Hua Hu},
title = {Metamorphic Testing of a Monte Carlo Modeling Program},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2011},
}
Article: icsews11astfull-14-p doi:
|
| |
Xu, Dianxiang
|
AST '11: "Metamorphic Testing of a Monte ..."
Metamorphic Testing of a Monte Carlo Modeling Program
Junhua Ding, Tong Wu, Dianxiang Xu, Jun Q. Lu, and Xin-Hua Hu
(East Carolina University, USA; Dakota State University, USA)
@InProceedings{AST11p1,
author = {Junhua Ding and Tong Wu and Dianxiang Xu and Jun Q. Lu and Xin-Hua Hu},
title = {Metamorphic Testing of a Monte Carlo Modeling Program},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2011},
}
Article: icsews11astfull-14-p doi:
|
| |
Yoo, Kevin
|
AST '11: "Automated Testing of Industrial ..."
Automated Testing of Industrial Control Devices: The Delphi Database
Nate Kube, Kevin Yoo, and Daniel Hoffman
(Wurldtech Security Technologies, Canada; University of Victoria, Canada)
@InProceedings{AST11p71,
author = {Nate Kube and Kevin Yoo and Daniel Hoffman},
title = {Automated Testing of Industrial Control Devices: The Delphi Database},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {71-70},
doi = {},
year = {2011},
}
Article: icsews11astfull-1-p doi:
|
| |
Zenarosa, Gabriel L.
|
AST '11: "Towards Automated Oracles ..."
Towards Automated Oracles for GUI Input Validation
Gabriel L. Zenarosa and Regis J. Leonard
(University of Pittsburgh, USA)
@InProceedings{AST11p9,
author = {Gabriel L. Zenarosa and Regis J. Leonard},
title = {Towards Automated Oracles for GUI Input Validation},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {9-8},
doi = {},
year = {2011},
}
Article: icsews11astposter-8-p doi:
|
| |
Zhang, Yingzhou |
AST '11: "monadWS: A Monad-Based Testing ..."
monadWS: A Monad-Based Testing Tool for Web Services
Yingzhou Zhang, Wei Fu, and Changhai Nie
(Nanjing University of Posts and Telecommunications, China; Nanjing University, China)
@InProceedings{AST11p7,
author = {Yingzhou Zhang and Wei Fu and Changhai Nie},
title = {monadWS: A Monad-Based Testing Tool for Web Services},
booktitle = {Proc.\ AST},
publisher = {ACM},
pages = {7-6},
doi = {},
year = {2011},
}
Article: icsews11astposter-16-p doi:
|