Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/pts/ictss2020.bht:"
download as .bib file
@inproceedings{DBLP:conf/pts/AichernigB20,
author = {Bernhard K. Aichernig and
Christian Burghard},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Giving a Model-Based Testing Language a Formal Semantics via Partial
{MAX-SAT}},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {35--51},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_3},
doi = {10.1007/978-3-030-64881-7\_3},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/AichernigB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/AltieroCMPS20,
author = {Francesco Altiero and
Anna Corazza and
Sergio Di Martino and
Adriano Peron and
Luigi Libero Lucio Starace},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Inspecting Code Churns to Prioritize Test Cases},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {272--285},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_17},
doi = {10.1007/978-3-030-64881-7\_17},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/AltieroCMPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BozicW20,
author = {Josip Bozic and
Franz Wotawa},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Interrogating Virtual Agents: In Quest of Security Vulnerabilities},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {20--34},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_2},
doi = {10.1007/978-3-030-64881-7\_2},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/BozicW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/CanforaCVNPV20,
author = {Gerardo Canfora and
Mimmo Carapella and
Andrea Del Vecchio and
Laura Nardi and
Antonio Pirozzi and
Corrado Aaron Visaggio},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {About the Robustness and Looseness of Yara Rules},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {104--120},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_7},
doi = {10.1007/978-3-030-64881-7\_7},
timestamp = {Tue, 08 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/CanforaCVNPV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/CastiglionePPP20,
author = {Arcangelo Castiglione and
Francesco Palmieri and
Mariangela Petraglia and
Raffaele Pizzolante},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Vulsploit: {A} Module for Semi-automatic Exploitation of Vulnerabilities},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {89--103},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_6},
doi = {10.1007/978-3-030-64881-7\_6},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/CastiglionePPP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/CatilloPV20,
author = {Marta Catillo and
Antonio Pecchia and
Umberto Villano},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Measurement-Based Analysis of a DoS Defense Module for an Open Source
Web Server},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {121--134},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_8},
doi = {10.1007/978-3-030-64881-7\_8},
timestamp = {Tue, 08 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/CatilloPV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/CaturanoPR20,
author = {Francesco Caturano and
Gaetano Perrone and
Simon Pietro Romano},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Hacking Goals: {A} Goal-Centric Attack Classification Framework},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {296--301},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_19},
doi = {10.1007/978-3-030-64881-7\_19},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/CaturanoPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/ErbSTP20,
author = {Martin Erb and
Christian Steger and
Martin Troyer and
Josef Preishuber{-}Pfl{\"{u}}gl},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Trigger Alarm: {A} Smart {NFC} Sniffer for High-Precision Measurements},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {186--200},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_12},
doi = {10.1007/978-3-030-64881-7\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/ErbSTP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/JebbarKT20,
author = {Oussama Jebbar and
Ferhat Khendek and
Maria Toeroe},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Methods for Live Testing of Cloud Services},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {201--216},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_13},
doi = {10.1007/978-3-030-64881-7\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/JebbarKT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/JinKCT20,
author = {Hao Jin and
Takashi Kitamura and
Eun{-}Hye Choi and
Tatsuhiro Tsuchiya},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {A Comparative Study on Combinatorial and Random Testing for Highly
Configurable Systems},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {302--309},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_20},
doi = {10.1007/978-3-030-64881-7\_20},
timestamp = {Wed, 13 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/JinKCT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Marsso0S20,
author = {Lina Marsso and
Radu Mateescu and
Wendelin Serwe},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Automated Transition Coverage in Behavioural Conformance Testing},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {219--235},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_14},
doi = {10.1007/978-3-030-64881-7\_14},
timestamp = {Tue, 08 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/Marsso0S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/MihaitaMEP20,
author = {Alexandra{-}Elena Mocanu (Mihaita) and
Bogdan{-}Costel Mocanu and
Christian Esposito and
Florin Pop},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Trust Is in the Air: {A} New Adaptive Method to Evaluate Mobile Wireless
Networks},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {135--149},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_9},
doi = {10.1007/978-3-030-64881-7\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/MihaitaMEP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/PereiraBM20,
author = {Ricardo B. Pereira and
Miguel A. Brito and
Ricardo J. Machado},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Architecture Based on Keyword Driven Testing with Domain Specific
Language for a Testing System},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {310--316},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_21},
doi = {10.1007/978-3-030-64881-7\_21},
timestamp = {Wed, 09 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/PereiraBM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/PferscherA20,
author = {Andrea Pferscher and
Bernhard K. Aichernig},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Learning Abstracted Non-deterministic Finite State Machines},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {52--69},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_4},
doi = {10.1007/978-3-030-64881-7\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/PferscherA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/RussoVM20,
author = {Enrico Russo and
Luca Verderame and
Alessio Merlo},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Enabling Next-Generation Cyber Ranges with Mobile Security Components},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {150--165},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_10},
doi = {10.1007/978-3-030-64881-7\_10},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/RussoVM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Sachtleben20,
author = {Robert Sachtleben},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {An Executable Mechanised Formalisation of an Adaptive State Counting
Algorithm},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {236--254},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_15},
doi = {10.1007/978-3-030-64881-7\_15},
timestamp = {Tue, 08 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/Sachtleben20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/SalvaB20,
author = {S{\'{e}}bastien Salva and
Elliott Blot},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Using Model Learning for the Generation of Mock Components},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {3--19},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_1},
doi = {10.1007/978-3-030-64881-7\_1},
timestamp = {Tue, 08 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/SalvaB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/SharmaW20,
author = {Arnab Sharma and
Heike Wehrheim},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Automatic Fairness Testing of Machine Learning Models},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {255--271},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_16},
doi = {10.1007/978-3-030-64881-7\_16},
timestamp = {Tue, 08 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/SharmaW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/TramontanaAF20,
author = {Porfirio Tramontana and
Nicola Amatucci and
Anna Rita Fasolino},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {A Technique for Parallel {GUI} Testing of Android Applications},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {169--185},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_11},
doi = {10.1007/978-3-030-64881-7\_11},
timestamp = {Tue, 08 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/TramontanaAF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/VerderameCRM20,
author = {Luca Verderame and
Davide Caputo and
Andrea Romdhana and
Alessio Merlo},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {APPregator: {A} Large-Scale Platform for Mobile Security Analysis},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {73--88},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_5},
doi = {10.1007/978-3-030-64881-7\_5},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/VerderameCRM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/VinarskiiLY20,
author = {Evgenii M. Vinarskii and
Andrey Laputenko and
Nina Yevtushenko},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Using an {SMT} Solver for Checking the Completeness of FSM-Based Tests},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {289--295},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_18},
doi = {10.1007/978-3-030-64881-7\_18},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/VinarskiiLY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2020,
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7},
doi = {10.1007/978-3-030-64881-7},
isbn = {978-3-030-64880-0},
timestamp = {Tue, 08 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-18 04:15 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
