Publications

1.Amit Seal Ami, Kaushal Kafle, Kevin Moran, Adwait Nadkarni, and Denys Poshyvanyk. 2021. Demo: Mutation-based Evaluation of Security-focused Static Analysis Tools for Android. In Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering (ICSE’21), Formal Tool Demonstration, Virtual (originally Madrid, Spain), May 25th - 28th, 2021. [languageWebsite] [videocamVideo] [sourceCode]
Bibtex
@inproceedings{demo-muse-2021,
  title = {{Demo: Mutation-based Evaluation of Security-focused Static Analysis Tools for Android}},
  author = {Ami, {Amit Seal} and Kafle, Kaushal and Moran, Kevin and Nadkarni, Adwait and Poshyvanyk, Denys},
  booktitle = {{Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering (ICSE’21), Formal Tool Demonstration, Virtual (originally Madrid, Spain), May 25th - 28th, 2021}},
  year = {2021},
  month = may,
  sourcecode = {https://github.com/LordAmit/muse},
  website = {https://muse-security-evaluation.github.io},
  video = {https://youtu.be/Kfkzi57gYys}
}

2.Amit Seal Ami, Kaushal Kafle, Kevin Moran, Adwait Nadkarni, and Denys Poshyvanyk. 2021. Systematic Mutation-based Evaluation of the Soundness of Security-focused Android Static Analysis Techniques (Accepted). ACM Transactions on Security & privacy (TOPS) x, TBD. [languageWebsite] [sourceCode]
Bibtex
@article{musetops,
  author = {Ami, {Amit Seal} and Kafle, Kaushal and Moran, Kevin and Nadkarni, Adwait and Poshyvanyk, Denys},
  title = {Systematic Mutation-based Evaluation of the Soundness of Security-focused Android Static Analysis Techniques (Accepted)},
  journal = {ACM Transactions on Security & privacy (TOPS)},
  volume = {x},
  number = {TBD},
  year = {2021},
  sourcecode = {https://github.com/LordAmit/muse},
  website = {https://muse-security-evaluation.github.io}
}

3.Amit Seal Ami, Md. Mehedi Hasan, Md. Rayhanur Rahman, and Kazi Sakib. 2018. MobiCoMonkey - Context Testing of Android Apps. In 2018 IEEE/ACM 5th International Conference on Mobile Software Engineering and Systems (MOBILESoft), 76–79. [articlePDF] [sourceCode]
Bibtex
@inproceedings{MobiCoMonkeyContextTestingami2018,
  title = {{{MobiCoMonkey}} - {{Context Testing}} of {{Android Apps}}},
  booktitle = {2018 {{IEEE}}/{{ACM}} 5th {{International Conference}} on {{Mobile Software Engineering}} and {{Systems}} ({{MOBILESoft}})},
  author = {Ami, Amit Seal and Hasan, Md. Mehedi and Rahman, Md. Rayhanur and Sakib, Kazi},
  year = {2018},
  month = may,
  pages = {76--79},
  pdf = {https://arxiv.org/abs/1804.02533},
  sourcecode = {https://github.com/LordAmit/mobile-monkey}
}

4.Kamrun Nahar Neela, Syed Asif Ali, Amit Seal Ami, and Alim Ul Gias. 2017. Modeling Software Defects as Anomalies: A Case Study on Promise Repository. JSW 12, 10: 759–772.
Bibtex
@article{ModelingSoftwareDefectsneela2017,
  title = {Modeling Software Defects as Anomalies: {{A}} Case Study on Promise Repository.},
  author = {Neela, Kamrun Nahar and Ali, Syed Asif and Ami, Amit Seal and Gias, Alim Ul},
  year = {2017},
  volume = {12},
  pages = {759--772},
  journal = {JSW},
  number = {10}
}

5.Abdus Satter, Amit Seal Ami, and Kazi Sakib. 2016. A Static Code Search Technique to Identify Dead Fields by Analyzing Usage of Setup Fields and Field Dependency in Test Code. In CDUD@ CLA, 60–71.
Bibtex
@inproceedings{StaticCodeSearchsatter2016,
  title = {A Static Code Search Technique to Identify Dead Fields by Analyzing Usage of Setup Fields and Field Dependency in Test Code.},
  booktitle = {{{CDUD}}@ {{CLA}}},
  author = {Satter, Abdus and Ami, Amit Seal and Sakib, Kazi},
  year = {2016},
  pages = {60--71}
}

6.Md. Shafiuzzaman, Nadia Nahar, and Md. Rayhanur Rahman. 2015. A Proactive Approach for Context-Aware Self-Adaptive Mobile Applications to Ensure Quality of Service. In 2015 18th International Conference on Computer and Information Technology (ICCIT), 544–549. https://doi.org/10.1109/ICCITechn.2015.7488131
Bibtex
@inproceedings{ProactiveApproachContextawareshafiuzzaman2015,
  title = {A Proactive Approach for Context-Aware Self-Adaptive Mobile Applications to Ensure {{Quality}} of {{Service}}},
  booktitle = {2015 18th {{International Conference}} on {{Computer}} and {{Information Technology}} ({{ICCIT}})},
  author = {Shafiuzzaman, Md. and Nahar, Nadia and Rahman, Md. Rayhanur},
  year = {2015},
  month = dec,
  pages = {544--549},
  doi = {10.1109/ICCITechn.2015.7488131}
}

7.Prianka Mandal and Amit Seal Ami. 2015. Selecting Best Attributes for Software Defect Prediction. In 2015 IEEE International WIE Conference on Electrical and Computer Engineering (WIECON-ECE), 110–113. https://doi.org/10.1109/WIECON-ECE.2015.7444011
Bibtex
@inproceedings{SelectingBestAttributesmandal2015,
  title = {Selecting Best Attributes for Software Defect Prediction},
  booktitle = {2015 {{IEEE International WIE Conference}} on {{Electrical}} and {{Computer Engineering}} ({{WIECON}}-{{ECE}})},
  author = {Mandal, Prianka and Ami, Amit Seal},
  year = {2015},
  month = dec,
  pages = {110--113},
  doi = {10.1109/WIECON-ECE.2015.7444011}
}

8.Amit S Ami and Shariful Islam. 2015. A Content Assist Based Approach for Providing Rationale of Method Change for Object Oriented Programming. International Journal of Information Engineering and Electronic Business 7, 1: 49.
Bibtex
@article{ContentAssistBasedami2015,
  title = {A Content Assist Based Approach for Providing Rationale of Method Change for Object Oriented Programming},
  author = {Ami, Amit S and Islam, Shariful},
  year = {2015},
  volume = {7},
  pages = {49},
  publisher = {{Modern Education and Computer Science Press}},
  journal = {International Journal of Information Engineering and Electronic Business},
  number = {1}
}

9.Amit Seal Ami and Md. Shariful Islam. 2014. An Efficient Approach for Providing Rationale of Method Change for Object Oriented Programming. In 2014 International Conference on Informatics, Electronics Vision (ICIEV), 1–6. https://doi.org/10.1109/ICIEV.2014.6850772
Bibtex
@inproceedings{EfficientApproachProvidingamitsealami2014,
  title = {An Efficient Approach for Providing Rationale of Method Change for Object Oriented Programming},
  booktitle = {2014 {{International Conference}} on {{Informatics}}, {{Electronics Vision}} ({{ICIEV}})},
  author = {Ami, Amit Seal and Islam, Md. Shariful},
  year = {2014},
  month = may,
  pages = {1--6},
  doi = {10.1109/ICIEV.2014.6850772}
}

10.Alim Ul Gias, Mirza Rehenuma Tabassum, Amit Seal Ami, Asif Imran, Mohammad Ibrahim, Rayhanur Rahman, and Kazi Sakib. 2014. A Formal Approach to Verify Software Scalability Requirements Using Set Theory and Hoare Triple. In 16th Int’l Conf. Computer and Information Technology, 7–12. https://doi.org/10.1109/ICCITechn.2014.6997367
Bibtex
@inproceedings{FormalApproachVerifygias2014,
  title = {A Formal Approach to Verify Software Scalability Requirements Using Set Theory and {{Hoare}} Triple},
  booktitle = {16th {{Int}}'l {{Conf}}. {{Computer}} and {{Information Technology}}},
  author = {Gias, Alim Ul and Tabassum, Mirza Rehenuma and Ami, Amit Seal and Imran, Asif and Ibrahim, Mohammad and Rahman, Rayhanur and Sakib, Kazi},
  year = {2014},
  month = mar,
  pages = {7--12},
  doi = {10.1109/ICCITechn.2014.6997367}
}

11.Asif Imran, Alim Ul Gias, Rayhanur Rahman, Amit Seal, Tajkia Rahman, Farhan Ishraque, and Kazi Sakib. 2014. Cloud-Niagara: A High Availability and Low Overhead Fault Tolerance Middleware for the Cloud. In 16th Int’l Conf. Computer and Information Technology, 271–276. https://doi.org/10.1109/ICCITechn.2014.6997344
Bibtex
@inproceedings{CloudNiagaraHighAvailabilityimran2014,
  title = {Cloud-{{Niagara}}: {{A}} High Availability and Low Overhead Fault Tolerance Middleware for the Cloud},
  shorttitle = {Cloud-{{Niagara}}},
  booktitle = {16th {{Int}}'l {{Conf}}. {{Computer}} and {{Information Technology}}},
  author = {Imran, Asif and Gias, Alim Ul and Rahman, Rayhanur and Seal, Amit and Rahman, Tajkia and Ishraque, Farhan and Sakib, Kazi},
  year = {2014},
  month = mar,
  pages = {271--276},
  doi = {10.1109/ICCITechn.2014.6997344}
}