| |
Alipour, Mohammad Amin
|
TECPS '17: "Fault Injection in the Internet ..."
Fault Injection in the Internet of Things Applications
Mohammad Amin Alipour
(University of Houston, USA)
@InProceedings{TECPS17p9,
author = {Mohammad Amin Alipour},
title = {Fault Injection in the Internet of Things Applications},
booktitle = {Proc.\ TECPS},
publisher = {ACM},
pages = {9-8},
doi = {},
year = {2017},
}
|
| |
Berardinelli, Luca
|
TECPS '17: "Testing Uncertainty of Cyber-Physical ..."
Testing Uncertainty of Cyber-Physical Systems in IoT Cloud Infrastructures: Combining Model-Driven Engineering and Elastic Execution
Hong-Linh Truong and Luca Berardinelli
(Vienna University of Technology, Austria)
@InProceedings{TECPS17p5,
author = {Hong-Linh Truong and Luca Berardinelli},
title = {Testing Uncertainty of Cyber-Physical Systems in IoT Cloud Infrastructures: Combining Model-Driven Engineering and Elastic Execution},
booktitle = {Proc.\ TECPS},
publisher = {ACM},
pages = {5-4},
doi = {},
year = {2017},
}
|
| |
Byun, Taejoon |
TECPS '17: "Discovering Instructions for ..."
Discovering Instructions for Robust Binary-Level Coverage Criteria
Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, and Mats P. E. Heimdahl
(University of Minnesota, USA)
@InProceedings{TECPS17p1,
author = {Vaibhav Sharma and Taejoon Byun and Stephen McCamant and Sanjai Rayadurgam and Mats P. E. Heimdahl},
title = {Discovering Instructions for Robust Binary-Level Coverage Criteria},
booktitle = {Proc.\ TECPS},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2017},
}
|
| |
Flikkema, Paul
|
TECPS '17: "Towards Automated Composition ..."
Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems
Alex Groce, Paul Flikkema, and Josie Holmes
(Northern Arizona University, USA; Pennsylvania State University, USA)
@InProceedings{TECPS17p13,
author = {Alex Groce and Paul Flikkema and Josie Holmes},
title = {Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems},
booktitle = {Proc.\ TECPS},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2017},
}
|
| |
Groce, Alex
|
TECPS '17: "Towards Automated Composition ..."
Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems
Alex Groce, Paul Flikkema, and Josie Holmes
(Northern Arizona University, USA; Pennsylvania State University, USA)
@InProceedings{TECPS17p13,
author = {Alex Groce and Paul Flikkema and Josie Holmes},
title = {Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems},
booktitle = {Proc.\ TECPS},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2017},
}
|
| |
Heimdahl, Mats P. E.
|
TECPS '17: "Discovering Instructions for ..."
Discovering Instructions for Robust Binary-Level Coverage Criteria
Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, and Mats P. E. Heimdahl
(University of Minnesota, USA)
@InProceedings{TECPS17p1,
author = {Vaibhav Sharma and Taejoon Byun and Stephen McCamant and Sanjai Rayadurgam and Mats P. E. Heimdahl},
title = {Discovering Instructions for Robust Binary-Level Coverage Criteria},
booktitle = {Proc.\ TECPS},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2017},
}
|
| |
Holmes, Josie |
TECPS '17: "Towards Automated Composition ..."
Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems
Alex Groce, Paul Flikkema, and Josie Holmes
(Northern Arizona University, USA; Pennsylvania State University, USA)
@InProceedings{TECPS17p13,
author = {Alex Groce and Paul Flikkema and Josie Holmes},
title = {Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems},
booktitle = {Proc.\ TECPS},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2017},
}
|
| |
McCamant, Stephen
|
TECPS '17: "Discovering Instructions for ..."
Discovering Instructions for Robust Binary-Level Coverage Criteria
Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, and Mats P. E. Heimdahl
(University of Minnesota, USA)
@InProceedings{TECPS17p1,
author = {Vaibhav Sharma and Taejoon Byun and Stephen McCamant and Sanjai Rayadurgam and Mats P. E. Heimdahl},
title = {Discovering Instructions for Robust Binary-Level Coverage Criteria},
booktitle = {Proc.\ TECPS},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2017},
}
|
| |
Rayadurgam, Sanjai
|
TECPS '17: "Discovering Instructions for ..."
Discovering Instructions for Robust Binary-Level Coverage Criteria
Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, and Mats P. E. Heimdahl
(University of Minnesota, USA)
@InProceedings{TECPS17p1,
author = {Vaibhav Sharma and Taejoon Byun and Stephen McCamant and Sanjai Rayadurgam and Mats P. E. Heimdahl},
title = {Discovering Instructions for Robust Binary-Level Coverage Criteria},
booktitle = {Proc.\ TECPS},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2017},
}
|
| |
Sharma, Vaibhav
|
TECPS '17: "Discovering Instructions for ..."
Discovering Instructions for Robust Binary-Level Coverage Criteria
Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, and Mats P. E. Heimdahl
(University of Minnesota, USA)
@InProceedings{TECPS17p1,
author = {Vaibhav Sharma and Taejoon Byun and Stephen McCamant and Sanjai Rayadurgam and Mats P. E. Heimdahl},
title = {Discovering Instructions for Robust Binary-Level Coverage Criteria},
booktitle = {Proc.\ TECPS},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2017},
}
|
| |
Truong, Hong-Linh
|
TECPS '17: "Testing Uncertainty of Cyber-Physical ..."
Testing Uncertainty of Cyber-Physical Systems in IoT Cloud Infrastructures: Combining Model-Driven Engineering and Elastic Execution
Hong-Linh Truong and Luca Berardinelli
(Vienna University of Technology, Austria)
@InProceedings{TECPS17p5,
author = {Hong-Linh Truong and Luca Berardinelli},
title = {Testing Uncertainty of Cyber-Physical Systems in IoT Cloud Infrastructures: Combining Model-Driven Engineering and Elastic Execution},
booktitle = {Proc.\ TECPS},
publisher = {ACM},
pages = {5-4},
doi = {},
year = {2017},
}
|