Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/sigsoft/sigsoft43.bht:"
@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} }
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.