| |
Abate, Alessandro
|
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
Article: ase17demo-demoid12-p (type: Short Paper) doi:
|
| |
Ali, Karim |
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
Article: ase17demo-demoid7-p (type: Short Paper) doi:
|
| |
Amarasinghe, Saman |
ASE '17: "taco: A Tool to Generate Tensor ..."
taco: A Tool to Generate Tensor Algebra Kernels
Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; CEA, France; Adobe, USA)
@InProceedings{ASE17p1276,
author = {Fredrik Kjolstad and Stephen Chou and David Lugato and Shoaib Kamil and Saman Amarasinghe},
title = {taco: A Tool to Generate Tensor Algebra Kernels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1276-1275},
doi = {},
year = {2017},
}
Article: ase17demo-demoid16-p (type: Short Paper) doi:
|
| |
Asaduzzaman, Muhammad |
ASE '17: "FEMIR: A Tool for Recommending ..."
FEMIR: A Tool for Recommending Framework Extension Examples
Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, and Daqing Hou
(University of Saskatchewan, Canada; Clarkson University, USA)
@InProceedings{ASE17p1300,
author = {Muhammad Asaduzzaman and Chanchal K. Roy and Kevin A. Schneider and Daqing Hou},
title = {FEMIR: A Tool for Recommending Framework Extension Examples},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1300-1299},
doi = {},
year = {2017},
}
Article: ase17demo-demoid32-p (type: Short Paper) doi:
|
| |
Bessa, Iury
|
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
Article: ase17demo-demoid12-p (type: Short Paper) doi:
|
| |
Bodden, Eric |
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
Article: ase17demo-demoid7-p (type: Short Paper) doi:
|
| |
Cattaruzza, Dario
|
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
Article: ase17demo-demoid12-p (type: Short Paper) doi:
|
| |
Chaves, Lennon |
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
Article: ase17demo-demoid12-p (type: Short Paper) doi:
|
| |
Cheng, Xi |
ASE '17: "IntPTI: Automatic Integer ..."
IntPTI: Automatic Integer Error Repair with Proper-Type Inference
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1330,
author = {Xi Cheng and Min Zhou and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {IntPTI: Automatic Integer Error Repair with Proper-Type Inference},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1330-1329},
doi = {},
year = {2017},
}
Article: ase17demo-demoid9-p (type: Short Paper) doi:
|
| |
Chou, Stephen |
ASE '17: "taco: A Tool to Generate Tensor ..."
taco: A Tool to Generate Tensor Algebra Kernels
Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; CEA, France; Adobe, USA)
@InProceedings{ASE17p1276,
author = {Fredrik Kjolstad and Stephen Chou and David Lugato and Shoaib Kamil and Saman Amarasinghe},
title = {taco: A Tool to Generate Tensor Algebra Kernels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1276-1275},
doi = {},
year = {2017},
}
Article: ase17demo-demoid16-p (type: Short Paper) doi:
|
| |
Chrisment, Isabelle |
ASE '17: "ANDROFLEET: Testing WiFi Peer-to-Peer ..."
ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large
Lakhdar Meftah, Maria Gomez, Romain Rouvoy, and Isabelle Chrisment
(Inria, France; University of Lille, France; Saarland University, Germany; Institut Universitaire de France, France; Telecom Nancy, France)
@InProceedings{ASE17p1294,
author = {Lakhdar Meftah and Maria Gomez and Romain Rouvoy and Isabelle Chrisment},
title = {ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1294-1293},
doi = {},
year = {2017},
}
Article: ase17demo-demoid19-p (type: Short Paper) doi:
|
| |
Cleland-Huang, Jane |
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
Article: ase17demo-demoid26-p (type: Short Paper) doi:
|
| |
Cohen, Myra B. |
ASE '17: "EventFlowSlicer: A Tool for ..."
EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests
Jonathan A. Saddler and Myra B. Cohen
(University of Nebraska-Lincoln, USA)
@InProceedings{ASE17p1288,
author = {Jonathan A. Saddler and Myra B. Cohen},
title = {EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1288-1287},
doi = {},
year = {2017},
}
Article: ase17demo-demoid29-p (type: Short Paper) doi:
|
| |
Cordeiro, Lucas |
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
Article: ase17demo-demoid12-p (type: Short Paper) doi:
|
| |
Corradini, Flavio |
ASE '17: "BProVe: Tool Support for Business ..."
BProVe: Tool Support for Business Process Verification
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p1270,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: Tool Support for Business Process Verification},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1270-1269},
doi = {},
year = {2017},
}
Article: ase17demo-demoid15-p (type: Short Paper) doi:
|
| |
David, Cristina
|
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
Article: ase17demo-demoid12-p (type: Short Paper) doi:
|
| |
Demmler, Daniel |
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
Article: ase17demo-demoid7-p (type: Short Paper) doi:
|
| |
Erata, Ferhat
|
ASE '17: "ModelWriter: Text and Model-Synchronized ..."
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
(Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France)
@InProceedings{ASE17p1240,
author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux},
title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1240-1239},
doi = {},
year = {2017},
}
Article: ase17demo-demoid21-p (type: Short Paper) doi:
|
| |
Fischmeister, Sebastian
|
ASE '17: "TREM: A Tool for Mining Timed ..."
TREM: A Tool for Mining Timed Regular Specifications from System Traces
Lukas Schmidt, Apurva Narayan, and Sebastian Fischmeister
(University of Waterloo, Canada)
@InProceedings{ASE17p1234,
author = {Lukas Schmidt and Apurva Narayan and Sebastian Fischmeister},
title = {TREM: A Tool for Mining Timed Regular Specifications from System Traces},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1234-1233},
doi = {},
year = {2017},
}
Article: ase17demo-demoid25-p (type: Short Paper) doi:
|
| |
Fornari, Fabrizio |
ASE '17: "BProVe: Tool Support for Business ..."
BProVe: Tool Support for Business Process Verification
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p1270,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: Tool Support for Business Process Verification},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1270-1269},
doi = {},
year = {2017},
}
Article: ase17demo-demoid15-p (type: Short Paper) doi:
|
| |
Gardent, Claire
|
ASE '17: "ModelWriter: Text and Model-Synchronized ..."
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
(Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France)
@InProceedings{ASE17p1240,
author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux},
title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1240-1239},
doi = {},
year = {2017},
}
Article: ase17demo-demoid21-p (type: Short Paper) doi:
|
| |
Garrido, Alejandra |
ASE '17: "Kobold: Web Usability as a ..."
Kobold: Web Usability as a Service
Julián Grigera, Alejandra Garrido, and Gustavo Rossi
(Universidad Nacional de La Plata, Argentina; CIC, Argentina; CONICET, Argentina)
@InProceedings{ASE17p1324,
author = {Julián Grigera and Alejandra Garrido and Gustavo Rossi},
title = {Kobold: Web Usability as a Service},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1324-1323},
doi = {},
year = {2017},
}
Article: ase17demo-demoid13-p (type: Short Paper) doi:
|
| |
Gomez, Maria |
ASE '17: "ANDROFLEET: Testing WiFi Peer-to-Peer ..."
ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large
Lakhdar Meftah, Maria Gomez, Romain Rouvoy, and Isabelle Chrisment
(Inria, France; University of Lille, France; Saarland University, Germany; Institut Universitaire de France, France; Telecom Nancy, France)
@InProceedings{ASE17p1294,
author = {Lakhdar Meftah and Maria Gomez and Romain Rouvoy and Isabelle Chrisment},
title = {ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1294-1293},
doi = {},
year = {2017},
}
Article: ase17demo-demoid19-p (type: Short Paper) doi:
|
| |
Göpfert, Florian |
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
Article: ase17demo-demoid7-p (type: Short Paper) doi:
|
| |
Goss, William |
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
Article: ase17demo-demoid26-p (type: Short Paper) doi:
|
| |
Grigera, Julián |
ASE '17: "Kobold: Web Usability as a ..."
Kobold: Web Usability as a Service
Julián Grigera, Alejandra Garrido, and Gustavo Rossi
(Universidad Nacional de La Plata, Argentina; CIC, Argentina; CONICET, Argentina)
@InProceedings{ASE17p1324,
author = {Julián Grigera and Alejandra Garrido and Gustavo Rossi},
title = {Kobold: Web Usability as a Service},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1324-1323},
doi = {},
year = {2017},
}
Article: ase17demo-demoid13-p (type: Short Paper) doi:
|
| |
Grünbacher, Paul |
ASE '17: "Visualization Support for ..."
Visualization Support for Requirements Monitoring in Systems of Systems
Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher
(JKU Linz, Austria; University of Notre Dame, USA)
@InProceedings{ASE17p1222,
author = {Lisa Maria Kritzinger and Thomas Krismayer and Michael Vierhauser and Rick Rabiser and Paul Grünbacher},
title = {Visualization Support for Requirements Monitoring in Systems of Systems},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1222-1221},
doi = {},
year = {2017},
}
Article: ase17demo-demoid8-p (type: Short Paper) doi:
|
| |
Gu, Ming |
ASE '17: "A Static Analysis Tool with ..."
A Static Analysis Tool with Optimizations for Reachability Determination
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1258,
author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {A Static Analysis Tool with Optimizations for Reachability Determination},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1258-1257},
doi = {},
year = {2017},
}
Article: ase17demo-demoid18-p (type: Short Paper) doi:
ASE '17: "IntPTI: Automatic Integer ..."
IntPTI: Automatic Integer Error Repair with Proper-Type Inference
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1330,
author = {Xi Cheng and Min Zhou and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {IntPTI: Automatic Integer Error Repair with Proper-Type Inference},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1330-1329},
doi = {},
year = {2017},
}
Article: ase17demo-demoid9-p (type: Short Paper) doi:
|
| |
Günther, Felix |
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
Article: ase17demo-demoid7-p (type: Short Paper) doi:
|
| |
Guo, Jin |
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
Article: ase17demo-demoid26-p (type: Short Paper) doi:
|
| |
Gyawali, Bikash |
ASE '17: "ModelWriter: Text and Model-Synchronized ..."
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
(Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France)
@InProceedings{ASE17p1240,
author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux},
title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1240-1239},
doi = {},
year = {2017},
}
Article: ase17demo-demoid21-p (type: Short Paper) doi:
|
| |
Hou, Daqing
|
ASE '17: "FEMIR: A Tool for Recommending ..."
FEMIR: A Tool for Recommending Framework Extension Examples
Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, and Daqing Hou
(University of Saskatchewan, Canada; Clarkson University, USA)
@InProceedings{ASE17p1300,
author = {Muhammad Asaduzzaman and Chanchal K. Roy and Kevin A. Schneider and Daqing Hou},
title = {FEMIR: A Tool for Recommending Framework Extension Examples},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1300-1299},
doi = {},
year = {2017},
}
Article: ase17demo-demoid32-p (type: Short Paper) doi:
|
| |
Jiang, Yu
|
ASE '17: "A Static Analysis Tool with ..."
A Static Analysis Tool with Optimizations for Reachability Determination
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1258,
author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {A Static Analysis Tool with Optimizations for Reachability Determination},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1258-1257},
doi = {},
year = {2017},
}
Article: ase17demo-demoid18-p (type: Short Paper) doi:
|
| |
Kamath, Ram
|
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
Article: ase17demo-demoid7-p (type: Short Paper) doi:
|
| |
Kamil, Shoaib |
ASE '17: "taco: A Tool to Generate Tensor ..."
taco: A Tool to Generate Tensor Algebra Kernels
Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; CEA, France; Adobe, USA)
@InProceedings{ASE17p1276,
author = {Fredrik Kjolstad and Stephen Chou and David Lugato and Shoaib Kamil and Saman Amarasinghe},
title = {taco: A Tool to Generate Tensor Algebra Kernels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1276-1275},
doi = {},
year = {2017},
}
Article: ase17demo-demoid16-p (type: Short Paper) doi:
|
| |
Kardas, Geylani |
ASE '17: "ModelWriter: Text and Model-Synchronized ..."
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
(Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France)
@InProceedings{ASE17p1240,
author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux},
title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1240-1239},
doi = {},
year = {2017},
}
Article: ase17demo-demoid21-p (type: Short Paper) doi:
|
| |
Kehrer, Timo |
ASE '17: "Incrementally Slicing Editable ..."
Incrementally Slicing Editable Submodels
Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, and Timo Kehrer
(University of Siegen, Germany; Humboldt University of Berlin, Germany)
@InProceedings{ASE17p1246,
author = {Christopher Pietsch and Manuel Ohrndorf and Udo Kelter and Timo Kehrer},
title = {Incrementally Slicing Editable Submodels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1246-1245},
doi = {},
year = {2017},
}
Article: ase17demo-demoid33-p (type: Short Paper) doi:
|
| |
Kelter, Udo |
ASE '17: "Incrementally Slicing Editable ..."
Incrementally Slicing Editable Submodels
Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, and Timo Kehrer
(University of Siegen, Germany; Humboldt University of Berlin, Germany)
@InProceedings{ASE17p1246,
author = {Christopher Pietsch and Manuel Ohrndorf and Udo Kelter and Timo Kehrer},
title = {Incrementally Slicing Editable Submodels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1246-1245},
doi = {},
year = {2017},
}
Article: ase17demo-demoid33-p (type: Short Paper) doi:
|
| |
Kesseli, Pascal |
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
Article: ase17demo-demoid12-p (type: Short Paper) doi:
|
| |
Khatchadourian, Raffi |
ASE '17: "Defaultification Refactoring: ..."
Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default
Raffi Khatchadourian and Hidehiko Masuhara
(City University of New York, USA; Tokyo Institute of Technology, Japan)
@InProceedings{ASE17p1318,
author = {Raffi Khatchadourian and Hidehiko Masuhara},
title = {Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1318-1317},
doi = {},
year = {2017},
}
Article: ase17demo-demoid10-p (type: Short Paper) doi:
|
| |
Khomh, Foutse |
ASE '17: "Opiner: An Opinion Search ..."
Opiner: An Opinion Search and Summarization Engine for APIs
Gias Uddin and Foutse Khomh
(McGill University, Canada; Polytechnique Montréal, Canada)
@InProceedings{ASE17p1312,
author = {Gias Uddin and Foutse Khomh},
title = {Opiner: An Opinion Search and Summarization Engine for APIs},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1312-1311},
doi = {},
year = {2017},
}
Article: ase17demo-demoid30-p (type: Short Paper) doi:
|
| |
Kjolstad, Fredrik |
ASE '17: "taco: A Tool to Generate Tensor ..."
taco: A Tool to Generate Tensor Algebra Kernels
Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; CEA, France; Adobe, USA)
@InProceedings{ASE17p1276,
author = {Fredrik Kjolstad and Stephen Chou and David Lugato and Shoaib Kamil and Saman Amarasinghe},
title = {taco: A Tool to Generate Tensor Algebra Kernels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1276-1275},
doi = {},
year = {2017},
}
Article: ase17demo-demoid16-p (type: Short Paper) doi:
|
| |
Krismayer, Thomas |
ASE '17: "Visualization Support for ..."
Visualization Support for Requirements Monitoring in Systems of Systems
Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher
(JKU Linz, Austria; University of Notre Dame, USA)
@InProceedings{ASE17p1222,
author = {Lisa Maria Kritzinger and Thomas Krismayer and Michael Vierhauser and Rick Rabiser and Paul Grünbacher},
title = {Visualization Support for Requirements Monitoring in Systems of Systems},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1222-1221},
doi = {},
year = {2017},
}
Article: ase17demo-demoid8-p (type: Short Paper) doi:
|
| |
Kritzinger, Lisa Maria |
ASE '17: "Visualization Support for ..."
Visualization Support for Requirements Monitoring in Systems of Systems
Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher
(JKU Linz, Austria; University of Notre Dame, USA)
@InProceedings{ASE17p1222,
author = {Lisa Maria Kritzinger and Thomas Krismayer and Michael Vierhauser and Rick Rabiser and Paul Grünbacher},
title = {Visualization Support for Requirements Monitoring in Systems of Systems},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1222-1221},
doi = {},
year = {2017},
}
Article: ase17demo-demoid8-p (type: Short Paper) doi:
|
| |
Kroening, Daniel |
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
Article: ase17demo-demoid12-p (type: Short Paper) doi:
|
| |
Krüger, Stefan |
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
Article: ase17demo-demoid7-p (type: Short Paper) doi:
|
| |
Lee, Youn Kyu
|
ASE '17: "SEALANT: A Detection and Visualization ..."
SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android
Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic
(University of Southern California, USA)
@InProceedings{ASE17p1216,
author = {Youn Kyu Lee and Peera Yoodee and Arman Shahbazian and Daye Nam and Nenad Medvidovic},
title = {SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1216-1215},
doi = {},
year = {2017},
}
Article: ase17demo-demoid14-p (type: Short Paper) doi:
|
| |
Legunsen, Owolabi |
ASE '17: "STARTS: STAtic Regression ..."
STARTS: STAtic Regression Test Selection
Owolabi Legunsen, August Shi, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ASE17p1282,
author = {Owolabi Legunsen and August Shi and Darko Marinov},
title = {STARTS: STAtic Regression Test Selection},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1282-1281},
doi = {},
year = {2017},
}
Article: ase17demo-demoid35-p (type: Short Paper) doi:
|
| |
Lin, Jinfeng |
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
Article: ase17demo-demoid26-p (type: Short Paper) doi:
|
| |
Liu, Wenchuang |
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
Article: ase17demo-demoid26-p (type: Short Paper) doi:
|
| |
Liu, Yalin |
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
Article: ase17demo-demoid26-p (type: Short Paper) doi:
|
| |
Lohar, Sugandha |
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
Article: ase17demo-demoid26-p (type: Short Paper) doi:
|
| |
Lugato, David |
ASE '17: "taco: A Tool to Generate Tensor ..."
taco: A Tool to Generate Tensor Algebra Kernels
Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; CEA, France; Adobe, USA)
@InProceedings{ASE17p1276,
author = {Fredrik Kjolstad and Stephen Chou and David Lugato and Shoaib Kamil and Saman Amarasinghe},
title = {taco: A Tool to Generate Tensor Algebra Kernels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1276-1275},
doi = {},
year = {2017},
}
Article: ase17demo-demoid16-p (type: Short Paper) doi:
|
| |
Lussaud, Yvan |
ASE '17: "ModelWriter: Text and Model-Synchronized ..."
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
(Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France)
@InProceedings{ASE17p1240,
author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux},
title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1240-1239},
doi = {},
year = {2017},
}
Article: ase17demo-demoid21-p (type: Short Paper) doi:
|
| |
Marinov, Darko
|
ASE '17: "STARTS: STAtic Regression ..."
STARTS: STAtic Regression Test Selection
Owolabi Legunsen, August Shi, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ASE17p1282,
author = {Owolabi Legunsen and August Shi and Darko Marinov},
title = {STARTS: STAtic Regression Test Selection},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1282-1281},
doi = {},
year = {2017},
}
Article: ase17demo-demoid35-p (type: Short Paper) doi:
|
| |
Masuhara, Hidehiko |
ASE '17: "Defaultification Refactoring: ..."
Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default
Raffi Khatchadourian and Hidehiko Masuhara
(City University of New York, USA; Tokyo Institute of Technology, Japan)
@InProceedings{ASE17p1318,
author = {Raffi Khatchadourian and Hidehiko Masuhara},
title = {Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1318-1317},
doi = {},
year = {2017},
}
Article: ase17demo-demoid10-p (type: Short Paper) doi:
|
| |
Medvidovic, Nenad |
ASE '17: "SEALANT: A Detection and Visualization ..."
SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android
Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic
(University of Southern California, USA)
@InProceedings{ASE17p1216,
author = {Youn Kyu Lee and Peera Yoodee and Arman Shahbazian and Daye Nam and Nenad Medvidovic},
title = {SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1216-1215},
doi = {},
year = {2017},
}
Article: ase17demo-demoid14-p (type: Short Paper) doi:
|
| |
Meftah, Lakhdar |
ASE '17: "ANDROFLEET: Testing WiFi Peer-to-Peer ..."
ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large
Lakhdar Meftah, Maria Gomez, Romain Rouvoy, and Isabelle Chrisment
(Inria, France; University of Lille, France; Saarland University, Germany; Institut Universitaire de France, France; Telecom Nancy, France)
@InProceedings{ASE17p1294,
author = {Lakhdar Meftah and Maria Gomez and Romain Rouvoy and Isabelle Chrisment},
title = {ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1294-1293},
doi = {},
year = {2017},
}
Article: ase17demo-demoid19-p (type: Short Paper) doi:
|
| |
Mezini, Mira |
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
Article: ase17demo-demoid7-p (type: Short Paper) doi:
|
| |
Monaikul, Natawut |
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
Article: ase17demo-demoid26-p (type: Short Paper) doi:
|
| |
Monceaux, Anne |
ASE '17: "ModelWriter: Text and Model-Synchronized ..."
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
(Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France)
@InProceedings{ASE17p1240,
author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux},
title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1240-1239},
doi = {},
year = {2017},
}
Article: ase17demo-demoid21-p (type: Short Paper) doi:
|
| |
Nadi, Sarah
|
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
Article: ase17demo-demoid7-p (type: Short Paper) doi:
|
| |
Nam, Daye |
ASE '17: "SEALANT: A Detection and Visualization ..."
SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android
Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic
(University of Southern California, USA)
@InProceedings{ASE17p1216,
author = {Youn Kyu Lee and Peera Yoodee and Arman Shahbazian and Daye Nam and Nenad Medvidovic},
title = {SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1216-1215},
doi = {},
year = {2017},
}
Article: ase17demo-demoid14-p (type: Short Paper) doi:
|
| |
Narayan, Apurva |
ASE '17: "TREM: A Tool for Mining Timed ..."
TREM: A Tool for Mining Timed Regular Specifications from System Traces
Lukas Schmidt, Apurva Narayan, and Sebastian Fischmeister
(University of Waterloo, Canada)
@InProceedings{ASE17p1234,
author = {Lukas Schmidt and Apurva Narayan and Sebastian Fischmeister},
title = {TREM: A Tool for Mining Timed Regular Specifications from System Traces},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1234-1233},
doi = {},
year = {2017},
}
Article: ase17demo-demoid25-p (type: Short Paper) doi:
|
| |
Ohrndorf, Manuel
|
ASE '17: "Incrementally Slicing Editable ..."
Incrementally Slicing Editable Submodels
Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, and Timo Kehrer
(University of Siegen, Germany; Humboldt University of Berlin, Germany)
@InProceedings{ASE17p1246,
author = {Christopher Pietsch and Manuel Ohrndorf and Udo Kelter and Timo Kehrer},
title = {Incrementally Slicing Editable Submodels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1246-1245},
doi = {},
year = {2017},
}
Article: ase17demo-demoid33-p (type: Short Paper) doi:
|
| |
Pietsch, Christopher
|
ASE '17: "Incrementally Slicing Editable ..."
Incrementally Slicing Editable Submodels
Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, and Timo Kehrer
(University of Siegen, Germany; Humboldt University of Berlin, Germany)
@InProceedings{ASE17p1246,
author = {Christopher Pietsch and Manuel Ohrndorf and Udo Kelter and Timo Kehrer},
title = {Incrementally Slicing Editable Submodels},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1246-1245},
doi = {},
year = {2017},
}
Article: ase17demo-demoid33-p (type: Short Paper) doi:
|
| |
Polgreen, Elizabeth |
ASE '17: "DSSynth: An Automated Digital ..."
DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)
@InProceedings{ASE17p1252,
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen},
title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1252-1251},
doi = {},
year = {2017},
}
Article: ase17demo-demoid12-p (type: Short Paper) doi:
|
| |
Polini, Andrea |
ASE '17: "BProVe: Tool Support for Business ..."
BProVe: Tool Support for Business Process Verification
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p1270,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: Tool Support for Business Process Verification},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1270-1269},
doi = {},
year = {2017},
}
Article: ase17demo-demoid15-p (type: Short Paper) doi:
|
| |
Rabiser, Rick
|
ASE '17: "Visualization Support for ..."
Visualization Support for Requirements Monitoring in Systems of Systems
Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher
(JKU Linz, Austria; University of Notre Dame, USA)
@InProceedings{ASE17p1222,
author = {Lisa Maria Kritzinger and Thomas Krismayer and Michael Vierhauser and Rick Rabiser and Paul Grünbacher},
title = {Visualization Support for Requirements Monitoring in Systems of Systems},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1222-1221},
doi = {},
year = {2017},
}
Article: ase17demo-demoid8-p (type: Short Paper) doi:
|
| |
Rasin, Alexander |
ASE '17: "TiQi: A Natural Language Interface ..."
TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)
@InProceedings{ASE17p1306,
author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin},
title = {TiQi: A Natural Language Interface for Querying Software Project Data},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1306-1305},
doi = {},
year = {2017},
}
Article: ase17demo-demoid26-p (type: Short Paper) doi:
|
| |
Re, Barbara |
ASE '17: "BProVe: Tool Support for Business ..."
BProVe: Tool Support for Business Process Verification
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p1270,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: Tool Support for Business Process Verification},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1270-1269},
doi = {},
year = {2017},
}
Article: ase17demo-demoid15-p (type: Short Paper) doi:
|
| |
Reif, Michael |
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
Article: ase17demo-demoid7-p (type: Short Paper) doi:
|
| |
Reiss, Steven P. |
ASE '17: "A Demonstration of Simultaneous ..."
A Demonstration of Simultaneous Execution and Editing in a Development Environment
Steven P. Reiss and Qi Xin
(Brown University, USA)
@InProceedings{ASE17p1228,
author = {Steven P. Reiss and Qi Xin},
title = {A Demonstration of Simultaneous Execution and Editing in a Development Environment},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1228-1227},
doi = {},
year = {2017},
}
Article: ase17demo-demoid6-p (type: Short Paper) doi:
|
| |
Rossi, Gustavo |
ASE '17: "Kobold: Web Usability as a ..."
Kobold: Web Usability as a Service
Julián Grigera, Alejandra Garrido, and Gustavo Rossi
(Universidad Nacional de La Plata, Argentina; CIC, Argentina; CONICET, Argentina)
@InProceedings{ASE17p1324,
author = {Julián Grigera and Alejandra Garrido and Gustavo Rossi},
title = {Kobold: Web Usability as a Service},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1324-1323},
doi = {},
year = {2017},
}
Article: ase17demo-demoid13-p (type: Short Paper) doi:
|
| |
Rouvoy, Romain |
ASE '17: "ANDROFLEET: Testing WiFi Peer-to-Peer ..."
ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large
Lakhdar Meftah, Maria Gomez, Romain Rouvoy, and Isabelle Chrisment
(Inria, France; University of Lille, France; Saarland University, Germany; Institut Universitaire de France, France; Telecom Nancy, France)
@InProceedings{ASE17p1294,
author = {Lakhdar Meftah and Maria Gomez and Romain Rouvoy and Isabelle Chrisment},
title = {ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1294-1293},
doi = {},
year = {2017},
}
Article: ase17demo-demoid19-p (type: Short Paper) doi:
|
| |
Roy, Chanchal K. |
ASE '17: "FEMIR: A Tool for Recommending ..."
FEMIR: A Tool for Recommending Framework Extension Examples
Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, and Daqing Hou
(University of Saskatchewan, Canada; Clarkson University, USA)
@InProceedings{ASE17p1300,
author = {Muhammad Asaduzzaman and Chanchal K. Roy and Kevin A. Schneider and Daqing Hou},
title = {FEMIR: A Tool for Recommending Framework Extension Examples},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1300-1299},
doi = {},
year = {2017},
}
Article: ase17demo-demoid32-p (type: Short Paper) doi:
|
| |
Saddler, Jonathan A.
|
ASE '17: "EventFlowSlicer: A Tool for ..."
EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests
Jonathan A. Saddler and Myra B. Cohen
(University of Nebraska-Lincoln, USA)
@InProceedings{ASE17p1288,
author = {Jonathan A. Saddler and Myra B. Cohen},
title = {EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1288-1287},
doi = {},
year = {2017},
}
Article: ase17demo-demoid29-p (type: Short Paper) doi:
|
| |
Schmidt, Lukas |
ASE '17: "TREM: A Tool for Mining Timed ..."
TREM: A Tool for Mining Timed Regular Specifications from System Traces
Lukas Schmidt, Apurva Narayan, and Sebastian Fischmeister
(University of Waterloo, Canada)
@InProceedings{ASE17p1234,
author = {Lukas Schmidt and Apurva Narayan and Sebastian Fischmeister},
title = {TREM: A Tool for Mining Timed Regular Specifications from System Traces},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1234-1233},
doi = {},
year = {2017},
}
Article: ase17demo-demoid25-p (type: Short Paper) doi:
|
| |
Schneider, Kevin A. |
ASE '17: "FEMIR: A Tool for Recommending ..."
FEMIR: A Tool for Recommending Framework Extension Examples
Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, and Daqing Hou
(University of Saskatchewan, Canada; Clarkson University, USA)
@InProceedings{ASE17p1300,
author = {Muhammad Asaduzzaman and Chanchal K. Roy and Kevin A. Schneider and Daqing Hou},
title = {FEMIR: A Tool for Recommending Framework Extension Examples},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1300-1299},
doi = {},
year = {2017},
}
Article: ase17demo-demoid32-p (type: Short Paper) doi:
|
| |
Shahbazian, Arman |
ASE '17: "SEALANT: A Detection and Visualization ..."
SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android
Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic
(University of Southern California, USA)
@InProceedings{ASE17p1216,
author = {Youn Kyu Lee and Peera Yoodee and Arman Shahbazian and Daye Nam and Nenad Medvidovic},
title = {SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1216-1215},
doi = {},
year = {2017},
}
Article: ase17demo-demoid14-p (type: Short Paper) doi:
|
| |
Shi, August |
ASE '17: "STARTS: STAtic Regression ..."
STARTS: STAtic Regression Test Selection
Owolabi Legunsen, August Shi, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{ASE17p1282,
author = {Owolabi Legunsen and August Shi and Darko Marinov},
title = {STARTS: STAtic Regression Test Selection},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1282-1281},
doi = {},
year = {2017},
}
Article: ase17demo-demoid35-p (type: Short Paper) doi:
|
| |
Shimorina, Anastasia |
ASE '17: "ModelWriter: Text and Model-Synchronized ..."
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
(Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France)
@InProceedings{ASE17p1240,
author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux},
title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1240-1239},
doi = {},
year = {2017},
}
Article: ase17demo-demoid21-p (type: Short Paper) doi:
|
| |
Song, Xiaoyu |
ASE '17: "A Static Analysis Tool with ..."
A Static Analysis Tool with Optimizations for Reachability Determination
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1258,
author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {A Static Analysis Tool with Optimizations for Reachability Determination},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1258-1257},
doi = {},
year = {2017},
}
Article: ase17demo-demoid18-p (type: Short Paper) doi:
ASE '17: "IntPTI: Automatic Integer ..."
IntPTI: Automatic Integer Error Repair with Proper-Type Inference
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1330,
author = {Xi Cheng and Min Zhou and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {IntPTI: Automatic Integer Error Repair with Proper-Type Inference},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1330-1329},
doi = {},
year = {2017},
}
Article: ase17demo-demoid9-p (type: Short Paper) doi:
|
| |
Sun, Jiaguang |
ASE '17: "A Static Analysis Tool with ..."
A Static Analysis Tool with Optimizations for Reachability Determination
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1258,
author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {A Static Analysis Tool with Optimizations for Reachability Determination},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1258-1257},
doi = {},
year = {2017},
}
Article: ase17demo-demoid18-p (type: Short Paper) doi:
ASE '17: "IntPTI: Automatic Integer ..."
IntPTI: Automatic Integer Error Repair with Proper-Type Inference
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1330,
author = {Xi Cheng and Min Zhou and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {IntPTI: Automatic Integer Error Repair with Proper-Type Inference},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1330-1329},
doi = {},
year = {2017},
}
Article: ase17demo-demoid9-p (type: Short Paper) doi:
|
| |
Tekinerdogan, Bedir
|
ASE '17: "ModelWriter: Text and Model-Synchronized ..."
ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
(Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France)
@InProceedings{ASE17p1240,
author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux},
title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1240-1239},
doi = {},
year = {2017},
}
Article: ase17demo-demoid21-p (type: Short Paper) doi:
|
| |
Tiezzi, Francesco |
ASE '17: "BProVe: Tool Support for Business ..."
BProVe: Tool Support for Business Process Verification
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p1270,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: Tool Support for Business Process Verification},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1270-1269},
doi = {},
year = {2017},
}
Article: ase17demo-demoid15-p (type: Short Paper) doi:
|
| |
Uddin, Gias
|
ASE '17: "Opiner: An Opinion Search ..."
Opiner: An Opinion Search and Summarization Engine for APIs
Gias Uddin and Foutse Khomh
(McGill University, Canada; Polytechnique Montréal, Canada)
@InProceedings{ASE17p1312,
author = {Gias Uddin and Foutse Khomh},
title = {Opiner: An Opinion Search and Summarization Engine for APIs},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1312-1311},
doi = {},
year = {2017},
}
Article: ase17demo-demoid30-p (type: Short Paper) doi:
|
| |
Vandin, Andrea
|
ASE '17: "BProVe: Tool Support for Business ..."
BProVe: Tool Support for Business Process Verification
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)
@InProceedings{ASE17p1270,
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin},
title = {BProVe: Tool Support for Business Process Verification},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1270-1269},
doi = {},
year = {2017},
}
Article: ase17demo-demoid15-p (type: Short Paper) doi:
|
| |
Vierhauser, Michael |
ASE '17: "Visualization Support for ..."
Visualization Support for Requirements Monitoring in Systems of Systems
Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher
(JKU Linz, Austria; University of Notre Dame, USA)
@InProceedings{ASE17p1222,
author = {Lisa Maria Kritzinger and Thomas Krismayer and Michael Vierhauser and Rick Rabiser and Paul Grünbacher},
title = {Visualization Support for Requirements Monitoring in Systems of Systems},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1222-1221},
doi = {},
year = {2017},
}
Article: ase17demo-demoid8-p (type: Short Paper) doi:
|
| |
Wang, Yuexing
|
ASE '17: "A Static Analysis Tool with ..."
A Static Analysis Tool with Optimizations for Reachability Determination
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1258,
author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {A Static Analysis Tool with Optimizations for Reachability Determination},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1258-1257},
doi = {},
year = {2017},
}
Article: ase17demo-demoid18-p (type: Short Paper) doi:
|
| |
Weinert, Christian |
ASE '17: "CogniCrypt: Supporting Developers ..."
CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)
@InProceedings{ASE17p1264,
author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath},
title = {CogniCrypt: Supporting Developers in Using Cryptography},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1264-1263},
doi = {},
year = {2017},
}
Article: ase17demo-demoid7-p (type: Short Paper) doi:
|
| |
Xin, Qi
|
ASE '17: "A Demonstration of Simultaneous ..."
A Demonstration of Simultaneous Execution and Editing in a Development Environment
Steven P. Reiss and Qi Xin
(Brown University, USA)
@InProceedings{ASE17p1228,
author = {Steven P. Reiss and Qi Xin},
title = {A Demonstration of Simultaneous Execution and Editing in a Development Environment},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1228-1227},
doi = {},
year = {2017},
}
Article: ase17demo-demoid6-p (type: Short Paper) doi:
|
| |
Yoodee, Peera
|
ASE '17: "SEALANT: A Detection and Visualization ..."
SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android
Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic
(University of Southern California, USA)
@InProceedings{ASE17p1216,
author = {Youn Kyu Lee and Peera Yoodee and Arman Shahbazian and Daye Nam and Nenad Medvidovic},
title = {SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1216-1215},
doi = {},
year = {2017},
}
Article: ase17demo-demoid14-p (type: Short Paper) doi:
|
| |
Zhou, Min
|
ASE '17: "A Static Analysis Tool with ..."
A Static Analysis Tool with Optimizations for Reachability Determination
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1258,
author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {A Static Analysis Tool with Optimizations for Reachability Determination},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1258-1257},
doi = {},
year = {2017},
}
Article: ase17demo-demoid18-p (type: Short Paper) doi:
ASE '17: "IntPTI: Automatic Integer ..."
IntPTI: Automatic Integer Error Repair with Proper-Type Inference
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
@InProceedings{ASE17p1330,
author = {Xi Cheng and Min Zhou and Xiaoyu Song and Ming Gu and Jiaguang Sun},
title = {IntPTI: Automatic Integer Error Repair with Proper-Type Inference},
booktitle = {Proc.\ ASE},
publisher = {IEEE},
pages = {1330-1329},
doi = {},
year = {2017},
}
Article: ase17demo-demoid9-p (type: Short Paper) doi:
|