Search dblp for Publications

export results for "toc:db/journals/sigsoft/sigsoft43.bht:"

 download as .bib file

@article{DBLP:journals/sigsoft/Akbarinasaji18,
  author       = {Shirin Akbarinasaji},
  title        = {Prioritizing lingering bugs},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {1},
  pages        = {1--6},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178315.3178326},
  doi          = {10.1145/3178315.3178326},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Akbarinasaji18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Arruda18,
  author       = {Darlan Arruda},
  title        = {Requirements Engineering in the Context of Big Data Applications},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {1},
  pages        = {1--6},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178315.3178323},
  doi          = {10.1145/3178315.3178323},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Arruda18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Asim18,
  author       = {Saad F. Asim},
  title        = {An Exercise in Design: The Binary Decision Diagram},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {3},
  pages        = {19},
  year         = {2018},
  url          = {https://doi.org/10.1145/3229783.3229801},
  doi          = {10.1145/3229783.3229801},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Asim18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BenalaM18,
  author       = {Tirimula Rao Benala and
                  Rajib Mall},
  title        = {{SEET:} Software Development Effort Estimation Using Ensemble Techniques},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {3},
  pages        = {17},
  year         = {2018},
  url          = {https://doi.org/10.1145/3229783.3229805},
  doi          = {10.1145/3229783.3229805},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/BenalaM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BorgCDE18,
  author       = {Markus Borg and
                  Adnan Causevic and
                  Serge Demeyer and
                  Sigrid Eldh},
  title        = {Summary of the 1st {IEEE} Workshop on the Next Level of Test Automation
                  {(NEXTA} 2018)},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {36--38},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3302399},
  doi          = {10.1145/3282517.3302399},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/BorgCDE18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BorgCDE18a,
  author       = {Markus Borg and
                  Adnan Causevic and
                  Serge Demeyer and
                  Sigrid Eldh},
  title        = {Summary of the 1st {IEEE} Workshop on the Next Level of Test Automation
                  {(NEXTA} 2018)},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {53},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282540},
  doi          = {10.1145/3282517.3282540},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/BorgCDE18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BuZCWZL18,
  author       = {Lei Bu and
                  Tian Zhang and
                  Xin Chen and
                  Linzhang Wang and
                  Jianhua Zhao and
                  Xuandong Li},
  title        = {Model-based Construction and Verification of Cyber-Physical Systems},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {3},
  pages        = {6--10},
  year         = {2018},
  url          = {https://doi.org/10.1145/3229783.3229793},
  doi          = {10.1145/3229783.3229793},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/BuZCWZL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Bultan18,
  author       = {Tevfik Bultan},
  title        = {Side-Channel Analysis via Symbolic Execution and Model Counting},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {55},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3302416},
  doi          = {10.1145/3282517.3302416},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Bultan18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BuresWSF18,
  author       = {Tom{\'{a}}s Bures and
                  Danny Weyns and
                  Bradley R. Schmerl and
                  John S. Fitzgerald},
  title        = {Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment
                  Boundary, and Social Aspects},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {42--44},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3302401},
  doi          = {10.1145/3282517.3302401},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/BuresWSF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BuresWSF18a,
  author       = {Tom{\'{a}}s Bures and
                  Danny Weyns and
                  Bradley R. Schmerl and
                  John S. Fitzgerald},
  title        = {Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment
                  Boundary, and Social Aspects},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {54},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282542},
  doi          = {10.1145/3282517.3282542},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/BuresWSF18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Cartaxo18,
  author       = {Bruno Cartaxo},
  title        = {Supporting Knowledge Transfer From Secondary Studies to Software Engineering
                  Practice},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {1},
  pages        = {1--6},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178315.3178325},
  doi          = {10.1145/3178315.3178325},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Cartaxo18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/CordeiroKS18,
  author       = {Lucas C. Cordeiro and
                  Daniel Kroening and
                  Peter Schrammel},
  title        = {Benchmarking of Java Verification Tools at the Software Verification
                  Competition {(SV-COMP)}},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {56},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282529},
  doi          = {10.1145/3282517.3282529},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/CordeiroKS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/DwivediR18,
  author       = {Ashish Kumar Dwivedi and
                  Santanu Kumar Rath},
  title        = {Transformation of Alloy Notation into a Semantic Notation},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {1},
  pages        = {1--6},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178315.3178331},
  doi          = {10.1145/3178315.3178331},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/DwivediR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/FowlerS18,
  author       = {Megan Fowler and
                  Tim Schwab},
  title        = {BeginToReason: Understanding the Purpose of Code},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {3},
  pages        = {18},
  year         = {2018},
  url          = {https://doi.org/10.1145/3229783.3229798},
  doi          = {10.1145/3229783.3229798},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/FowlerS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/FraserM18,
  author       = {Steven Fraser and
                  Dennis Mancl},
  title        = {Agile Culture: {A} Panels Report from {XP} 2017},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {21--23},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3302395},
  doi          = {10.1145/3282517.3302395},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/FraserM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/FraserM18a,
  author       = {Steven Fraser and
                  Dennis Mancl},
  title        = {No Silver Bullet Reloaded: Report on {XP} 2017 Panel Session},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {39--41},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3302400},
  doi          = {10.1145/3282517.3302400},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/FraserM18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/FraserM18b,
  author       = {Steven Fraser and
                  Dennis Mancl},
  title        = {Agile Culture: {A} Panels Report from {XP} 2017},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {52},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282536},
  doi          = {10.1145/3282517.3282536},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/FraserM18b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/FraserM18c,
  author       = {Steven Fraser and
                  Dennis Mancl},
  title        = {No Silver Bullet Reloaded: Report on {XP} 2017 Panel Session},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {53},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282541},
  doi          = {10.1145/3282517.3282541},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/FraserM18c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Friedman18,
  author       = {Harvey Friedman},
  title        = {This Foundationalist Looks at {P} = {NP}},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {3},
  pages        = {19},
  year         = {2018},
  url          = {https://doi.org/10.1145/3229783.3299104},
  doi          = {10.1145/3229783.3299104},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Friedman18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/GlassL18,
  author       = {Robert L. Glass and
                  Frank Land},
  title        = {Errors in Computing History},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {9--12},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282522},
  doi          = {10.1145/3282517.3282522},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/GlassL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/GleirscherKL18,
  author       = {Mario Gleirscher and
                  Stefan Kugele and
                  Sven Linker},
  title        = {SCAV'18: Report of the 2nd International Workshop on Safe Control
                  of Autonomous Vehicles},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {45--47},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3302402},
  doi          = {10.1145/3282517.3302402},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/GleirscherKL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/GleirscherKL18a,
  author       = {Mario Gleirscher and
                  Stefan Kugele and
                  Sven Linker},
  title        = {SCAV'18: Report of the 2nd International Workshop on Safe Control
                  of Autonomous Vehicles},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {54},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282543},
  doi          = {10.1145/3282517.3282543},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/GleirscherKL18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce18,
  author       = {Alex Groce},
  title        = {Passages},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {1},
  pages        = {1--2},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178315.3178336},
  doi          = {10.1145/3178315.3178336},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Groce18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce18a,
  author       = {Alex Groce},
  title        = {Passages},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {2},
  pages        = {6--7},
  year         = {2018},
  url          = {https://doi.org/10.1145/3203094.3203101},
  doi          = {10.1145/3203094.3203101},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Groce18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce18b,
  author       = {Alex Groce},
  title        = {Passages},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {3},
  pages        = {5},
  year         = {2018},
  url          = {https://doi.org/10.1145/3229783.3229792},
  doi          = {10.1145/3229783.3229792},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Groce18b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce18c,
  author       = {Alex Groce},
  title        = {Passages},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {6--7},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282524},
  doi          = {10.1145/3282517.3282524},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Groce18c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/HaiderMB18,
  author       = {Umaima Haider and
                  John D. McGregor and
                  Rabih Bashroush},
  title        = {The {ALI} Architecture Description Language},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {52},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282545},
  doi          = {10.1145/3282517.3282545},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/HaiderMB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/JainS18,
  author       = {Ritu Jain and
                  Ugrasen Suman},
  title        = {A Project Management Framework for Global Software Development},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {1},
  pages        = {1--10},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178315.3178329},
  doi          = {10.1145/3178315.3178329},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/JainS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/JainS18a,
  author       = {Ajay Jain and
                  Sachin Soni},
  title        = {Multi-Directional navigation method for optimized consumption of user
                  generated content through semantic mapping of features derived from
                  the user generated content},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {52},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282535},
  doi          = {10.1145/3282517.3282535},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/JainS18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/JonesWBPAM18,
  author       = {Joseph Jones and
                  James Wasson and
                  Sean Brown and
                  Seth Poulsen and
                  Peter Aldous and
                  Eric Mercer},
  title        = {Memory safety in {C} by abstract interpretation},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {56},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282530},
  doi          = {10.1145/3282517.3282530},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/JonesWBPAM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Kraemer18,
  author       = {Eileen T. Kraemer},
  title        = {Teaching the Design-by-Contract Concept in a Software Engineering
                  Course Using {RESOLVE}},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {3},
  pages        = {18},
  year         = {2018},
  url          = {https://doi.org/10.1145/3229783.3229796},
  doi          = {10.1145/3229783.3229796},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Kraemer18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/KraemerL18,
  author       = {Eileen T. Kraemer and
                  Aubrey Lawson},
  title        = {Reasoning About Concurrency: Scenarios for Activities},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {3},
  pages        = {18},
  year         = {2018},
  url          = {https://doi.org/10.1145/3229783.3229797},
  doi          = {10.1145/3229783.3229797},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/KraemerL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Krone18,
  author       = {Joan Krone},
  title        = {Food for Thought},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {3},
  pages        = {19},
  year         = {2018},
  url          = {https://doi.org/10.1145/3229783.3299105},
  doi          = {10.1145/3229783.3299105},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Krone18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/KuhrmannOHHR18,
  author       = {Marco Kuhrmann and
                  Rory V. O'Connor and
                  Dan Houston and
                  Regina Hebig and
                  David Raffo},
  title        = {Summary of the International Conference on Software andSystem Processes
                  {(ICSSP} 2018)},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {48--51},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282534},
  doi          = {10.1145/3282517.3282534},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/KuhrmannOHHR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Lee18,
  author       = {Amanda Lee},
  title        = {One-Time Contributors to {FLOSS:} Surveys and Data Analysis},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {1},
  pages        = {1--6},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178315.3178327},
  doi          = {10.1145/3178315.3178327},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Lee18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/LindenR18,
  author       = {Dirk van der Linden and
                  Awais Rashid},
  title        = {The Effect of Software Warranties on Cybersecurity},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {31--35},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3302398},
  doi          = {10.1145/3282517.3302398},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/LindenR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/LindenR18a,
  author       = {Dirk van der Linden and
                  Awais Rashid},
  title        = {The Effect of Software Warranties on Cybersecurity},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {53},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282539},
  doi          = {10.1145/3282517.3282539},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/LindenR18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/MukherjeeSM18,
  author       = {Debashis Mukherjee and
                  Dibyanshu Shekhar and
                  Rajib Mall},
  title        = {Proposal for {A} Structural Integration Test Coverage Metric for Object-Oriented
                  Programs},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {1},
  pages        = {1--4},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178315.3178330},
  doi          = {10.1145/3178315.3178330},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/MukherjeeSM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Neumann18,
  author       = {Peter G. Neumann},
  title        = {Risks to the Public},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {1},
  pages        = {1--6},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178315.3178337},
  doi          = {10.1145/3178315.3178337},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Neumann18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Neumann18a,
  author       = {Peter G. Neumann},
  title        = {Risks to the Public},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {2},
  pages        = {8--11},
  year         = {2018},
  url          = {https://doi.org/10.1145/3203094.3203102},
  doi          = {10.1145/3203094.3203102},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Neumann18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Neumann18b,
  author       = {Peter G. Neumann},
  title        = {Risks to the Public},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {3},
  pages        = {11--16},
  year         = {2018},
  url          = {https://doi.org/10.1145/3229783.3229791},
  doi          = {10.1145/3229783.3229791},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Neumann18b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Neumann18c,
  author       = {Peter G. Neumann},
  title        = {Risks to the Public},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {13--20},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282523},
  doi          = {10.1145/3282517.3282523},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Neumann18c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Noorwali18,
  author       = {Ibtehal Noorwali},
  title        = {Stakeholder Concern-Driven Requirements Analytics},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {1},
  pages        = {1--6},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178315.3178324},
  doi          = {10.1145/3178315.3178324},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Noorwali18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/NorthropOFK18,
  author       = {Linda M. Northrop and
                  Ipek Ozkaya and
                  George Fairbanks and
                  Michael Keeling},
  title        = {Designing the Software Systems of the Future},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {28--30},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3302397},
  doi          = {10.1145/3282517.3302397},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/NorthropOFK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/NorthropOFK18a,
  author       = {Lina Northrop and
                  Ipek Ozkaya and
                  George Fairbanks and
                  Michael Keeling},
  title        = {Designing the Software Systems of the Future},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {53},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282538},
  doi          = {10.1145/3282517.3282538},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/NorthropOFK18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Ogden18,
  author       = {Bill Ogden},
  title        = {A Coconfinement Invariant},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {3},
  pages        = {19},
  year         = {2018},
  url          = {https://doi.org/10.1145/3229783.3299106},
  doi          = {10.1145/3229783.3299106},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Ogden18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Osterweil18,
  author       = {Leon J. Osterweil},
  title        = {Be Gracious},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {2},
  pages        = {4--6},
  year         = {2018},
  url          = {https://doi.org/10.1145/3203094.3203100},
  doi          = {10.1145/3203094.3203100},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Osterweil18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/PaquinSJ18,
  author       = {Maria Paquin and
                  Elena Sherman and
                  Amit Jain},
  title        = {Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {55},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282526},
  doi          = {10.1145/3282517.3282526},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/PaquinSJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Phan18,
  author       = {Quoc{-}Sang Phan},
  title        = {Test input generation using separati logic},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {55},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3302418},
  doi          = {10.1145/3282517.3302418},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Phan18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/RaibuletFDPGPM18,
  author       = {Claudia Raibulet and
                  Mariagrazia Fugini and
                  Khalil Drira and
                  Patrizio Pelliccione and
                  Ilias Gerostathopoulos and
                  Christian Prehofer and
                  Klaus Moessner},
  title        = {Report of the 1st International Workshop on Context-aware Autonomous
                  and Smart Architectures (CASA@ECSA 2017)},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {24--27},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3302396},
  doi          = {10.1145/3282517.3302396},
  timestamp    = {Fri, 13 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/RaibuletFDPGPM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/RaibuletFDPGPM18a,
  author       = {Claudia Raibulet and
                  Mariagrazia Fugini and
                  Khalil Drira and
                  Patrizio Pelliccione and
                  Ilias Gerostathopoulos and
                  Christian Prefoher and
                  Klaus Moessner},
  title        = {Report of the 1st International Workshop on Context-aware Autonomous
                  and Smart Architectures (CASA@ECSA 2017)},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {52--53},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282537},
  doi          = {10.1145/3282517.3282537},
  timestamp    = {Fri, 13 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/RaibuletFDPGPM18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/SahaKEBB18,
  author       = {Seemanta Saha and
                  Ismet Burak Kadron and
                  William Eiers and
                  Lucas Bang and
                  Tevfik Bultan},
  title        = {Attack Synthesis for Strings using Meta-Heuristics},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {56},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282527},
  doi          = {10.1145/3282517.3282527},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/SahaKEBB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/SinghFTS18,
  author       = {Paramvir Singh and
                  Sheikh Umar Farooq and
                  Saurabh Tiwari and
                  Ashish Sureka},
  title        = {An Experience Report on Workshop on Emerging Software Engineering
                  Education},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {2},
  pages        = {12--23},
  year         = {2018},
  url          = {https://doi.org/10.1145/3203094.3203112},
  doi          = {10.1145/3203094.3203112},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/SinghFTS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/SitaramanW18,
  author       = {Murali Sitaraman and
                  Bruce W. Weide},
  title        = {A Synopsis of Twenty Five Years of {RESOLVE} PhD Research Efforts:
                  Software Development Effort Estimation Using Ensemble Techniques},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {3},
  pages        = {17},
  year         = {2018},
  url          = {https://doi.org/10.1145/3229783.3229794},
  doi          = {10.1145/3229783.3229794},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/SitaramanW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Sivilotti18,
  author       = {Paolo A. G. Sivilotti},
  title        = {Verification Benchmarks},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {3},
  pages        = {19},
  year         = {2018},
  url          = {https://doi.org/10.1145/3229783.3299107},
  doi          = {10.1145/3229783.3299107},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Sivilotti18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Sun18,
  author       = {Yu{-}Shan Sun},
  title        = {Reasoning About Reference Behavior with {RESOLVE}},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {3},
  pages        = {18--19},
  year         = {2018},
  url          = {https://doi.org/10.1145/3229783.3229800},
  doi          = {10.1145/3229783.3229800},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Sun18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Teixeira18,
  author       = {Eudis Teixeira},
  title        = {Improving the Quality of Controlled Experiments in Software Engineering},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {1},
  pages        = {1--6},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178315.3178321},
  doi          = {10.1145/3178315.3178321},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Teixeira18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Wang18,
  author       = {Huaimin Wang},
  title        = {Harnessing the crowd wisdom for software trustworthiness},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {1},
  pages        = {1--6},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178315.3178328},
  doi          = {10.1145/3178315.3178328},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Wang18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/WangCGMK18,
  author       = {Kaiyuan Wang and
                  Hayes Converse and
                  Milos Gligoric and
                  Sasa Misailovic and
                  Sarfraz Khurshid},
  title        = {A Progress Bar for the {JPF} Search Using Program Executions},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {55},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282525},
  doi          = {10.1145/3282517.3282525},
  timestamp    = {Wed, 07 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/WangCGMK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Weide18,
  author       = {Alan Weide},
  title        = {Reasoning Challenges of Data Abstraction and Aliasing in Concurrent
                  Programs},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {3},
  pages        = {18},
  year         = {2018},
  url          = {https://doi.org/10.1145/3229783.3229799},
  doi          = {10.1145/3229783.3229799},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Weide18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Welch18,
  author       = {Daniel Welch},
  title        = {Formalization Integrated Development Environments: The Current Landscape},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {3},
  pages        = {17},
  year         = {2018},
  url          = {https://doi.org/10.1145/3229783.3229795},
  doi          = {10.1145/3229783.3229795},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Welch18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Yaman18,
  author       = {Sezin Gizem Yaman},
  title        = {User Involvement in Continuous Experimentation},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {1},
  pages        = {1--4},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178315.3178322},
  doi          = {10.1145/3178315.3178322},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Yaman18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/ZhengLNP18,
  author       = {Guolong Zheng and
                  Quang Loc Le and
                  ThanhVu Nguyen and
                  Quoc{-}Sang Phan},
  title        = {Automatic Data Structure Repair usingSeparation Logic},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {66},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282528},
  doi          = {10.1145/3282517.3282528},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/ZhengLNP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics