| |
Amasaki, Sousuke
|
PROMISE '23: "On Effectiveness of Further ..."
On Effectiveness of Further Pre-training on BERT Models for Story Point Estimation
Sousuke Amasaki
(Okayama Prefectural University, Japan)
@InProceedings{PROMISE23p67,
author = {Sousuke Amasaki},
title = {On Effectiveness of Further Pre-training on BERT Models for Story Point Estimation},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3617555.3617877},
year = {2023},
}
Publisher's Version
|
| |
Bhandari, Pragya
|
PROMISE '23: "BuggIn: Automatic Intrinsic ..."
BuggIn: Automatic Intrinsic Bugs Classification Model using NLP and ML
Pragya Bhandari and Gema Rodríguez-Pérez
(University of British Columbia, Canada)
@InProceedings{PROMISE23p12,
author = {Pragya Bhandari and Gema Rodríguez-Pérez},
title = {BuggIn: Automatic Intrinsic Bugs Classification Model using NLP and ML},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {12-11},
doi = {10.1145/3617555.3617875},
year = {2023},
}
Publisher's Version
|
| |
Bisztray, Tamas |
PROMISE '23: "The FormAI Dataset: Generative ..."
The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification
Norbert Tihanyi, Tamas Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, and Vasileios Mavroeidis
(Technology Innovation Institute, United Arab Emirates; University of Oslo, Norway; University of Manchester, UK)
@InProceedings{PROMISE23p45,
author = {Norbert Tihanyi and Tamas Bisztray and Ridhi Jain and Mohamed Amine Ferrag and Lucas C. Cordeiro and Vasileios Mavroeidis},
title = {The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3617555.3617874},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Chand, Sivajeet
|
PROMISE '23: "Comparing Word-Based and AST-Based ..."
Comparing Word-Based and AST-Based Models for Design Pattern Recognition
Sivajeet Chand, Sushant Kumar Pandey, Jennifer Horkoff, Miroslaw Staron, Miroslaw Ochodek, and Darko Durisic
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Poznan University, Poland; Volvo Cars, Gothenburg, Sweden)
@InProceedings{PROMISE23p56,
author = {Sivajeet Chand and Sushant Kumar Pandey and Jennifer Horkoff and Miroslaw Staron and Miroslaw Ochodek and Darko Durisic},
title = {Comparing Word-Based and AST-Based Models for Design Pattern Recognition},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {56-55},
doi = {10.1145/3617555.3617873},
year = {2023},
}
Publisher's Version
|
| |
Cordeiro, Lucas C. |
PROMISE '23: "The FormAI Dataset: Generative ..."
The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification
Norbert Tihanyi, Tamas Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, and Vasileios Mavroeidis
(Technology Innovation Institute, United Arab Emirates; University of Oslo, Norway; University of Manchester, UK)
@InProceedings{PROMISE23p45,
author = {Norbert Tihanyi and Tamas Bisztray and Ridhi Jain and Mohamed Amine Ferrag and Lucas C. Cordeiro and Vasileios Mavroeidis},
title = {The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3617555.3617874},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Durisic, Darko
|
PROMISE '23: "Comparing Word-Based and AST-Based ..."
Comparing Word-Based and AST-Based Models for Design Pattern Recognition
Sivajeet Chand, Sushant Kumar Pandey, Jennifer Horkoff, Miroslaw Staron, Miroslaw Ochodek, and Darko Durisic
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Poznan University, Poland; Volvo Cars, Gothenburg, Sweden)
@InProceedings{PROMISE23p56,
author = {Sivajeet Chand and Sushant Kumar Pandey and Jennifer Horkoff and Miroslaw Staron and Miroslaw Ochodek and Darko Durisic},
title = {Comparing Word-Based and AST-Based Models for Design Pattern Recognition},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {56-55},
doi = {10.1145/3617555.3617873},
year = {2023},
}
Publisher's Version
|
| |
Erdogmus, Hakan
|
PROMISE '23: "Do Developers Fix Continuous ..."
Do Developers Fix Continuous Integration Smells?
Ayberk Yaşa, Ege Ergül, Hakan Erdogmus, and Eray Tüzün
(Bilkent University, Turkiye; Carnegie Mellon University, USA)
@InProceedings{PROMISE23p23,
author = {Ayberk Yaşa and Ege Ergül and Hakan Erdogmus and Eray Tüzün},
title = {Do Developers Fix Continuous Integration Smells?},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3617555.3617870},
year = {2023},
}
Publisher's Version
|
| |
Ergül, Ege |
PROMISE '23: "Do Developers Fix Continuous ..."
Do Developers Fix Continuous Integration Smells?
Ayberk Yaşa, Ege Ergül, Hakan Erdogmus, and Eray Tüzün
(Bilkent University, Turkiye; Carnegie Mellon University, USA)
@InProceedings{PROMISE23p23,
author = {Ayberk Yaşa and Ege Ergül and Hakan Erdogmus and Eray Tüzün},
title = {Do Developers Fix Continuous Integration Smells?},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3617555.3617870},
year = {2023},
}
Publisher's Version
|
| |
Ferrag, Mohamed Amine
|
PROMISE '23: "The FormAI Dataset: Generative ..."
The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification
Norbert Tihanyi, Tamas Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, and Vasileios Mavroeidis
(Technology Innovation Institute, United Arab Emirates; University of Oslo, Norway; University of Manchester, UK)
@InProceedings{PROMISE23p45,
author = {Norbert Tihanyi and Tamas Bisztray and Ridhi Jain and Mohamed Amine Ferrag and Lucas C. Cordeiro and Vasileios Mavroeidis},
title = {The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3617555.3617874},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Horkoff, Jennifer
|
PROMISE '23: "Comparing Word-Based and AST-Based ..."
Comparing Word-Based and AST-Based Models for Design Pattern Recognition
Sivajeet Chand, Sushant Kumar Pandey, Jennifer Horkoff, Miroslaw Staron, Miroslaw Ochodek, and Darko Durisic
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Poznan University, Poland; Volvo Cars, Gothenburg, Sweden)
@InProceedings{PROMISE23p56,
author = {Sivajeet Chand and Sushant Kumar Pandey and Jennifer Horkoff and Miroslaw Staron and Miroslaw Ochodek and Darko Durisic},
title = {Comparing Word-Based and AST-Based Models for Design Pattern Recognition},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {56-55},
doi = {10.1145/3617555.3617873},
year = {2023},
}
Publisher's Version
|
| |
Jain, Ridhi
|
PROMISE '23: "The FormAI Dataset: Generative ..."
The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification
Norbert Tihanyi, Tamas Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, and Vasileios Mavroeidis
(Technology Innovation Institute, United Arab Emirates; University of Oslo, Norway; University of Manchester, UK)
@InProceedings{PROMISE23p45,
author = {Norbert Tihanyi and Tamas Bisztray and Ridhi Jain and Mohamed Amine Ferrag and Lucas C. Cordeiro and Vasileios Mavroeidis},
title = {The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3617555.3617874},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Karakas, Umutcan
|
PROMISE '23: "Automated Fairness Testing ..."
Automated Fairness Testing with Representative Sampling
Umutcan Karakas and Ayse Tosun
(Istanbul Technical University, Turkiye)
@InProceedings{PROMISE23p78,
author = {Umutcan Karakas and Ayse Tosun},
title = {Automated Fairness Testing with Representative Sampling},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {78-77},
doi = {10.1145/3617555.3617871},
year = {2023},
}
Publisher's Version
|
| |
Khomh, Foutse |
PROMISE '23: "Harnessing Predictive Modeling ..."
Harnessing Predictive Modeling and Software Analytics in the Age of LLM-Powered Software Development (Invited Talk)
Foutse Khomh
(Polytechnique Montréal, Canada)
@InProceedings{PROMISE23p1,
author = {Foutse Khomh},
title = {Harnessing Predictive Modeling and Software Analytics in the Age of LLM-Powered Software Development (Invited Talk)},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3617555.3634736},
year = {2023},
}
Publisher's Version
|
| |
Mavroeidis, Vasileios
|
PROMISE '23: "The FormAI Dataset: Generative ..."
The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification
Norbert Tihanyi, Tamas Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, and Vasileios Mavroeidis
(Technology Innovation Institute, United Arab Emirates; University of Oslo, Norway; University of Manchester, UK)
@InProceedings{PROMISE23p45,
author = {Norbert Tihanyi and Tamas Bisztray and Ridhi Jain and Mohamed Amine Ferrag and Lucas C. Cordeiro and Vasileios Mavroeidis},
title = {The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3617555.3617874},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Menzies, Tim |
PROMISE '23: "Model Review: A PROMISEing ..."
Model Review: A PROMISEing Opportunity
Tim Menzies
(North Carolina State University, USA)
@InProceedings{PROMISE23p89,
author = {Tim Menzies},
title = {Model Review: A PROMISEing Opportunity},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {89-88},
doi = {10.1145/3617555.3617876},
year = {2023},
}
Publisher's Version
|
| |
Ochodek, Miroslaw
|
PROMISE '23: "Comparing Word-Based and AST-Based ..."
Comparing Word-Based and AST-Based Models for Design Pattern Recognition
Sivajeet Chand, Sushant Kumar Pandey, Jennifer Horkoff, Miroslaw Staron, Miroslaw Ochodek, and Darko Durisic
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Poznan University, Poland; Volvo Cars, Gothenburg, Sweden)
@InProceedings{PROMISE23p56,
author = {Sivajeet Chand and Sushant Kumar Pandey and Jennifer Horkoff and Miroslaw Staron and Miroslaw Ochodek and Darko Durisic},
title = {Comparing Word-Based and AST-Based Models for Design Pattern Recognition},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {56-55},
doi = {10.1145/3617555.3617873},
year = {2023},
}
Publisher's Version
|
| |
Pandey, Sushant Kumar
|
PROMISE '23: "Comparing Word-Based and AST-Based ..."
Comparing Word-Based and AST-Based Models for Design Pattern Recognition
Sivajeet Chand, Sushant Kumar Pandey, Jennifer Horkoff, Miroslaw Staron, Miroslaw Ochodek, and Darko Durisic
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Poznan University, Poland; Volvo Cars, Gothenburg, Sweden)
@InProceedings{PROMISE23p56,
author = {Sivajeet Chand and Sushant Kumar Pandey and Jennifer Horkoff and Miroslaw Staron and Miroslaw Ochodek and Darko Durisic},
title = {Comparing Word-Based and AST-Based Models for Design Pattern Recognition},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {56-55},
doi = {10.1145/3617555.3617873},
year = {2023},
}
Publisher's Version
|
| |
Rahkema, Kristiina
|
PROMISE '23: "Large Scale Study of Orphan ..."
Large Scale Study of Orphan Vulnerabilities in the Software Supply Chain
David Reid, Kristiina Rahkema, and James Walden
(University of Tennessee at Knoxville, USA; University of Tartu, Estonia; Northern Kentucky University, USA)
@InProceedings{PROMISE23p34,
author = {David Reid and Kristiina Rahkema and James Walden},
title = {Large Scale Study of Orphan Vulnerabilities in the Software Supply Chain},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {34-33},
doi = {10.1145/3617555.3617872},
year = {2023},
}
Publisher's Version
|
| |
Reid, David |
PROMISE '23: "Large Scale Study of Orphan ..."
Large Scale Study of Orphan Vulnerabilities in the Software Supply Chain
David Reid, Kristiina Rahkema, and James Walden
(University of Tennessee at Knoxville, USA; University of Tartu, Estonia; Northern Kentucky University, USA)
@InProceedings{PROMISE23p34,
author = {David Reid and Kristiina Rahkema and James Walden},
title = {Large Scale Study of Orphan Vulnerabilities in the Software Supply Chain},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {34-33},
doi = {10.1145/3617555.3617872},
year = {2023},
}
Publisher's Version
|
| |
Rodríguez-Pérez, Gema |
PROMISE '23: "BuggIn: Automatic Intrinsic ..."
BuggIn: Automatic Intrinsic Bugs Classification Model using NLP and ML
Pragya Bhandari and Gema Rodríguez-Pérez
(University of British Columbia, Canada)
@InProceedings{PROMISE23p12,
author = {Pragya Bhandari and Gema Rodríguez-Pérez},
title = {BuggIn: Automatic Intrinsic Bugs Classification Model using NLP and ML},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {12-11},
doi = {10.1145/3617555.3617875},
year = {2023},
}
Publisher's Version
|
| |
Staron, Miroslaw
|
PROMISE '23: "Comparing Word-Based and AST-Based ..."
Comparing Word-Based and AST-Based Models for Design Pattern Recognition
Sivajeet Chand, Sushant Kumar Pandey, Jennifer Horkoff, Miroslaw Staron, Miroslaw Ochodek, and Darko Durisic
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Poznan University, Poland; Volvo Cars, Gothenburg, Sweden)
@InProceedings{PROMISE23p56,
author = {Sivajeet Chand and Sushant Kumar Pandey and Jennifer Horkoff and Miroslaw Staron and Miroslaw Ochodek and Darko Durisic},
title = {Comparing Word-Based and AST-Based Models for Design Pattern Recognition},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {56-55},
doi = {10.1145/3617555.3617873},
year = {2023},
}
Publisher's Version
|
| |
Tihanyi, Norbert
|
PROMISE '23: "The FormAI Dataset: Generative ..."
The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification
Norbert Tihanyi, Tamas Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, and Vasileios Mavroeidis
(Technology Innovation Institute, United Arab Emirates; University of Oslo, Norway; University of Manchester, UK)
@InProceedings{PROMISE23p45,
author = {Norbert Tihanyi and Tamas Bisztray and Ridhi Jain and Mohamed Amine Ferrag and Lucas C. Cordeiro and Vasileios Mavroeidis},
title = {The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3617555.3617874},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Tosun, Ayse |
PROMISE '23: "Automated Fairness Testing ..."
Automated Fairness Testing with Representative Sampling
Umutcan Karakas and Ayse Tosun
(Istanbul Technical University, Turkiye)
@InProceedings{PROMISE23p78,
author = {Umutcan Karakas and Ayse Tosun},
title = {Automated Fairness Testing with Representative Sampling},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {78-77},
doi = {10.1145/3617555.3617871},
year = {2023},
}
Publisher's Version
|
| |
Tüzün, Eray |
PROMISE '23: "Do Developers Fix Continuous ..."
Do Developers Fix Continuous Integration Smells?
Ayberk Yaşa, Ege Ergül, Hakan Erdogmus, and Eray Tüzün
(Bilkent University, Turkiye; Carnegie Mellon University, USA)
@InProceedings{PROMISE23p23,
author = {Ayberk Yaşa and Ege Ergül and Hakan Erdogmus and Eray Tüzün},
title = {Do Developers Fix Continuous Integration Smells?},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3617555.3617870},
year = {2023},
}
Publisher's Version
|
| |
Walden, James
|
PROMISE '23: "Large Scale Study of Orphan ..."
Large Scale Study of Orphan Vulnerabilities in the Software Supply Chain
David Reid, Kristiina Rahkema, and James Walden
(University of Tennessee at Knoxville, USA; University of Tartu, Estonia; Northern Kentucky University, USA)
@InProceedings{PROMISE23p34,
author = {David Reid and Kristiina Rahkema and James Walden},
title = {Large Scale Study of Orphan Vulnerabilities in the Software Supply Chain},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {34-33},
doi = {10.1145/3617555.3617872},
year = {2023},
}
Publisher's Version
|
| |
Yaşa, Ayberk
|
PROMISE '23: "Do Developers Fix Continuous ..."
Do Developers Fix Continuous Integration Smells?
Ayberk Yaşa, Ege Ergül, Hakan Erdogmus, and Eray Tüzün
(Bilkent University, Turkiye; Carnegie Mellon University, USA)
@InProceedings{PROMISE23p23,
author = {Ayberk Yaşa and Ege Ergül and Hakan Erdogmus and Eray Tüzün},
title = {Do Developers Fix Continuous Integration Smells?},
booktitle = {Proc.\ PROMISE},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3617555.3617870},
year = {2023},
}
Publisher's Version
|