Ryerson University:CRESSET

Creative Research in Security and Software Engineering Technology

generated by bibbase.org
  2025 (2)
An exploratory study on domain knowledge infusion in deep learning for automated threat defense. Khanzadeh, S.; Neto, E. C. P.; Iqbal, S.; Alalfi, M. H.; and Buffett, S. Int. J. Inf. Sec., 24(1): 71. 2025.
An exploratory study on domain knowledge infusion in deep learning for automated threat defense [link]Paper   doi   link   bibtex  
Correction: An exploratory study on domain knowledge infusion in deep learning for automated threat defense. Khanzadeh, S.; Neto, E. C. P.; Iqbal, S.; Alalfi, M. H.; and Buffett, S. Int. J. Inf. Sec., 24(3): 118. 2025.
Correction: An exploratory study on domain knowledge infusion in deep learning for automated threat defense [link]Paper   doi   link   bibtex  
  2024 (6)
A Survey on Verification of Security and Safety in IoT Systems. Abuserrieh, L.; and Alalfi, M. H. IEEE Access, 12: 138627–138645. 2024.
A Survey on Verification of Security and Safety in IoT Systems [link]Paper   doi   link   bibtex  
A Survey on the Verification and Validation of Artificial Pancreas Software Systems. Nazzal, B.; Alalfi, M. H.; and Cordy, J. R. In IEEE International Conference on Software Testing, Verification and Validation, ICST 2024 - Workshops, Toronto, ON, Canada, May 27-31, 2024, pages 1–9, 2024. IEEE
A Survey on the Verification and Validation of Artificial Pancreas Software Systems [link]Paper   doi   link   bibtex  
Machine Learning for Cross-Vulnerability Prediction in Smart Contracts. Naeem, H.; and Alalfi, M. H. In IEEE International Conference on Software Testing, Verification and Validation, ICST 2024 - Workshops, Toronto, ON, Canada, May 27-31, 2024, pages 21–28, 2024. IEEE
Machine Learning for Cross-Vulnerability Prediction in Smart Contracts [link]Paper   doi   link   bibtex  
Timed Model-Based Mutation Operators for Simulink Models. Chen, J.; Alalfi, M. H.; and Dean, T. R. In IEEE International Conference on Software Testing, Verification and Validation, ICST 2024 - Workshops, Toronto, ON, Canada, May 27-31, 2024, pages 263–272, 2024. IEEE
Timed Model-Based Mutation Operators for Simulink Models [link]Paper   doi   link   bibtex  
Towards an MDRE Approach to Verify Security and Safety of Heterogeneous IoT Apps. Abuserrieh, L.; and Alalfi, M. H. In 6th IEEE/ACM International Workshop on Software Engineering Research & Practices for the IoT, SERP4IoT@ICSE 2024, Lisbon, Portugal, April 20, 2024, pages 65–72, 2024. IEEE
Towards an MDRE Approach to Verify Security and Safety of Heterogeneous IoT Apps [link]Paper   doi   link   bibtex  
SolOSphere: A Framework for Gas Optimization in Solidity Smart Contracts. Khanzadeh, S.; and Alalfi, M. H. In IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024 - Companion, Rovaniemi, Finland, March 12, 2024, pages 35–45, 2024. IEEE
SolOSphere: A Framework for Gas Optimization in Solidity Smart Contracts [link]Paper   doi   link   bibtex  
  2023 (6)
A Model-Driven-Reverse Engineering Approach for Detecting Privilege Escalation in IoT Systems. Alalfi, M. H.; Zaid, A. A.; and Miri, A. J. Object Technol., 22(1): 1–21. 2023.
A Model-Driven-Reverse Engineering Approach for Detecting Privilege Escalation in IoT Systems [link]Paper   doi   link   bibtex  
Security and Safety Verification in IoT Apps. Abuserrieh, L.; and Alalfi, M. H. In IEEE International Conference on Software Maintenance and Evolution, ICSME 2023, Bogotá, Colombia, October 1-6, 2023, pages 601–605, 2023. IEEE
Security and Safety Verification in IoT Apps [link]Paper   doi   link   bibtex  
Optimizing Gas Consumption in Ethereum Smart Contracts: Best Practices and Techniques. Khanzadeh, S.; Samreen, N. F.; and Alalfi, M. H. In 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023 Companion, Chiang Mai, Thailand, October 22-26, 2023, pages 300–309, 2023. IEEE
Optimizing Gas Consumption in Ethereum Smart Contracts: Best Practices and Techniques [link]Paper   doi   link   bibtex  
Timed Model-Based Mutation Operators for Simulink Models. Chen, J.; Alalfi, M. H.; and Dean, T. R. CoRR, abs/2301.00835. 2023.
Timed Model-Based Mutation Operators for Simulink Models [link]Paper   doi   link   bibtex  
Opti Code Pro: A Heuristic Search-based Approach to Code Refactoring. Khanzadeh, S.; Chan, S. A. N.; Valenzano, R.; and Alalfi, M. H. CoRR, abs/2305.07594. 2023.
Opti Code Pro: A Heuristic Search-based Approach to Code Refactoring [link]Paper   doi   link   bibtex  
  2022 (11)
An Automated Approach for Privacy Leakage Identification in IoT Apps. Nazzal, B.; and Alalfi, M. H. IEEE Access, 10: 80727–80747. 2022.
An Automated Approach for Privacy Leakage Identification in IoT Apps [link]Paper   doi   link   bibtex  
Predicting sensitive information leakage in IoT applications using flows-aware machine learning approach. Naeem, H.; and Alalfi, M. H. Empir. Softw. Eng., 27(6): 137. 2022.
Predicting sensitive information leakage in IoT applications using flows-aware machine learning approach [link]Paper   doi   link   bibtex  
A mutation framework for evaluating security analysis tools in IoT applications. Alalfi, M. H.; Parveen, S.; and Nazzal, B. Softw. Test. Verification Reliab., 32(7). 2022.
A mutation framework for evaluating security analysis tools in IoT applications [link]Paper   doi   link   bibtex  
A survey of security vulnerabilities in Android automotive apps. Moiz, A.; and Alalfi, M. H. In Proceedings of the 3rd International Workshop on Engineering and Cybersecurity of Critical Systems, EnCyCriS 2022, Pittsburgh, Pennsylvania, 16 May 2022, pages 17–24, 2022. ACM
A survey of security vulnerabilities in Android automotive apps [link]Paper   doi   link   bibtex  
Vulnerability Classification of Consumer-based IoT Software. Nazzal, B.; Zaid, A. A.; Alalfi, M. H.; and Valani, A. In 4th IEEE/ACM International Workshop on Software Engineering Research and Practices for the IoT, SERP4IoT@ICSE, Pittsburgh, PA, USA, May 19, 2022, pages 17–24, 2022. ACM
Vulnerability Classification of Consumer-based IoT Software [link]Paper   doi   link   bibtex  
Predicting sensitive information leakage in IoT applications using flows-aware machine learning approach. Naeem, H.; and Alalfi, M. H. CoRR, abs/2201.02677. 2022.
Predicting sensitive information leakage in IoT applications using flows-aware machine learning approach [link]Paper   link   bibtex  
An Automated Approach for Privacy Leakage Identification in IoT Apps. Nazzal, B.; and Alalfi, M. H. CoRR, abs/2202.02895. 2022.
An Automated Approach for Privacy Leakage Identification in IoT Apps [link]Paper   link   bibtex  
VOLCANO: Detecting Vulnerabilities of Ethereum Smart Contracts Using Code Clone Analysis. Samreen, N. F.; and Alalfi, M. H. CoRR, abs/2203.00769. 2022.
VOLCANO: Detecting Vulnerabilities of Ethereum Smart Contracts Using Code Clone Analysis [link]Paper   doi   link   bibtex  
Mining Domain Models in Ethereum DApps using Code Cloning. Samreen, N. F.; and Alalfi, M. H. CoRR, abs/2203.00771. 2022.
Mining Domain Models in Ethereum DApps using Code Cloning [link]Paper   doi   link   bibtex  
A Survey of Analysis Methods for Security and Safety verification in IoT Systems. Abuserrieh, L.; and Alalfi, M. H. CoRR, abs/2203.01464. 2022.
A Survey of Analysis Methods for Security and Safety verification in IoT Systems [link]Paper   doi   link   bibtex  
A Model-Driven-Engineering Approach for Detecting Privilege Escalation in IoT Systems. Zaid, A. A.; Alalfi, M. H.; and Miri, A. CoRR, abs/2205.11406. 2022.
A Model-Driven-Engineering Approach for Detecting Privilege Escalation in IoT Systems [link]Paper   doi   link   bibtex  
  2021 (5)
SmartScan: An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts. Samreen, N. F.; and Alalfi, M. H. In 4th IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB@ICSE 2021, Madrid, Spain, May 31, 2021, pages 17–26, 2021. IEEE
SmartScan: An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts [link]Paper   doi   link   bibtex  
SmartScan: An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts. Samreen, N. F.; and Alalfi, M. H. CoRR, abs/2105.02852. 2021.
SmartScan: An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts [link]Paper   link   bibtex  
Reentrancy Vulnerability Identification in Ethereum Smart Contracts. Samreen, N. F.; and Alalfi, M. H. CoRR, abs/2105.02881. 2021.
Reentrancy Vulnerability Identification in Ethereum Smart Contracts [link]Paper   link   bibtex  
A Survey of Security Vulnerabilities in Ethereum Smart Contracts. Samreen, N. F.; and Alalfi, M. H. CoRR, abs/2105.06974. 2021.
A Survey of Security Vulnerabilities in Ethereum Smart Contracts [link]Paper   link   bibtex  
A Mutation Framework for Evaluating Security Analysis tools in IoT Applications. Alalfi, M. H.; Parveen, S.; and Nazzal, B. CoRR, abs/2110.05562. 2021.
A Mutation Framework for Evaluating Security Analysis tools in IoT Applications [link]Paper   link   bibtex  
  2020 (5)
A survey of security vulnerabilities in ethereum smart contracts. Samreen, N. F.; and Alalfi, M. H. In Shaddick, L.; Jourdan, G.; Onut, V.; and Ng, T., editor(s), CASCON '20: Proceedings of the 30th Annual International Conference on Computer Science and Software Engineering, Toronto, Ontario, Canada, November 10 - 13, 2020, pages 73–82, 2020. ACM
A survey of security vulnerabilities in ethereum smart contracts [link]Paper   doi   link   bibtex  
An Approach for the Identification of Information Leakage in Automotive Infotainment systems. Moiz, A.; and Alalfi, M. H. In 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020, Adelaide, Australia, September 28 - October 2, 2020, pages 110–114, 2020. IEEE
An Approach for the Identification of Information Leakage in Automotive Infotainment systems [link]Paper   doi   link   bibtex   9 downloads  
Identifying Vulnerable IoT Applications using Deep Learning. Naeem, H.; and Alalfi, M. H. In Kontogiannis, K.; Khomh, F.; Chatzigeorgiou, A.; Fokaefs, M.; and Zhou, M., editor(s), 27th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2020, London, ON, Canada, February 18-21, 2020, pages 582–586, 2020. IEEE
Identifying Vulnerable IoT Applications using Deep Learning [link]Paper   doi   link   bibtex   5 downloads  
A Mutation Framework for Evaluating Security Analysis Tools in IoT Applications. Parveen, S.; and Alalfi, M. H. In Kontogiannis, K.; Khomh, F.; Chatzigeorgiou, A.; Fokaefs, M.; and Zhou, M., editor(s), 27th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2020, London, ON, Canada, February 18-21, 2020, pages 587–591, 2020. IEEE
A Mutation Framework for Evaluating Security Analysis Tools in IoT Applications [link]Paper   doi   link   bibtex   4 downloads  
An Approach for the Identification of Information Leakage in Automotive Infotainment systems. Moiz, A.; and Alalfi, M. H. CoRR, abs/2011.04066. 2020.
An Approach for the Identification of Information Leakage in Automotive Infotainment systems [link]Paper   link   bibtex   9 downloads  
  2019 (6)
A semi-automated framework for migrating web applications from SQL to document oriented NoSQL database. Mahruqi, R. S. A.; Alalfi, M. H.; and Dean, T. R. In Pakfetrat, T.; Jourdan, G.; Kontogiannis, K.; and Enenkel, R. F., editor(s), Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, CASCON 2019, Markham, Ontario, Canada, November 4-6, 2019, pages 44–53, 2019. ACM
A semi-automated framework for migrating web applications from SQL to document oriented NoSQL database [link]Paper   doi   link   bibtex  
Detection of feature interaction in dynamic scripting languages. Harthi, O. A. A.; Alalfi, M. H.; and Dean, T. R. In Pakfetrat, T.; Jourdan, G.; Kontogiannis, K.; and Enenkel, R. F., editor(s), Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, CASCON 2019, Markham, Ontario, Canada, November 4-6, 2019, pages 130–137, 2019. ACM
Detection of feature interaction in dynamic scripting languages [link]Paper   doi   link   bibtex  
Security analysis for SmartThings IoT applications. Schmeidl, F.; Nazzal, B.; and Alalfi, M. H. In Tilevich, E., editor(s), Proceedings of the 6th International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2019, Montreal, QC, Canada, May 25, 2019, pages 25–29, 2019. IEEE / ACM
Security analysis for SmartThings IoT applications [link]Paper   doi   link   bibtex   5 downloads  
Automated Identification of Over-Privileged SmartThings Apps. Zaid, A. A.; Alalfi, M. H.; and Miri, A. In 2019 IEEE International Conference on Software Maintenance and Evolution, ICSME 2019, Cleveland, OH, USA, September 29 - October 4, 2019, pages 247–251, 2019. IEEE
Automated Identification of Over-Privileged SmartThings Apps [link]Paper   doi   link   bibtex   4 downloads  
Security Smells in Smart Contracts. Demir, M.; Alalfi, M. H.; Turetken, O.; and Ferworn, A. In 19th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2019, Sofia, Bulgaria, July 22-26, 2019, pages 442–449, 2019. IEEE
Security Smells in Smart Contracts [link]Paper   doi   link   bibtex   5 downloads  
Variability Identification and Representation for Automotive Simulink Models. Alalfi, M. H.; Rapos, E. J.; Stevenson, A.; Stephan, M.; Dean, T. R.; and Cordy, J. R. In Dajsuren, Y.; and van den Brand, M., editor(s), Automotive Systems and Software Engineering - State of the Art and Future Trends, pages 109–139. Springer, 2019.
Variability Identification and Representation for Automotive Simulink Models [link]Paper   doi   link   bibtex   4 downloads  
  2018 (2)
An approach to clone detection in sequence diagrams and its application to security analysis. Alalfi, M. H.; Antony, E. P.; and Cordy, J. R. Softw. Syst. Model., 17(4): 1287–1309. 2018.
An approach to clone detection in sequence diagrams and its application to security analysis [link]Paper   doi   link   bibtex   5 downloads  
  2016 (1)
Clone detection in MATLAB Stateflow models. Chen, J.; Dean, T. R.; and Alalfi, M. H. Softw. Qual. J., 24(4): 917–946. 2016.
Clone detection in MATLAB Stateflow models [link]Paper   doi   link   bibtex   5 downloads  
  2015 (2)
Detecting Android Malware Using Clone Detection. Chen, J.; Alalfi, M. H.; Dean, T. R.; and Zou, Y. J. Comput. Sci. Technol., 30(5): 942–956. 2015.
Detecting Android Malware Using Clone Detection [link]Paper   link   bibtex   4 downloads  
SimNav: Simulink navigation of model clone classes. Rapos, E. J.; Stevenson, A.; Alalfi, M. H.; and Cordy, J. R. In Godfrey, M. W.; Lo, D.; and Khomh, F., editor(s), 15th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2015, Bremen, Germany, September 27-28, 2015, pages 241–246, 2015. IEEE Computer Society
SimNav: Simulink navigation of model clone classes [link]Paper   doi   link   bibtex   4 downloads  
  2014 (4)
Clone Detection in Matlab Stateflow Models. Dean, T. R.; Chen, J.; and Alalfi, M. H. Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 63. 2014.
Clone Detection in Matlab Stateflow Models [link]Paper   doi   link   bibtex   4 downloads  
Analysis and clustering of model clones: An automotive industrial experience. Alalfi, M. H.; Cordy, J. R.; and Dean, T. R. In Demeyer, S.; Binkley, D. W.; and Ricca, F., editor(s), 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE 2014, Antwerp, Belgium, February 3-6, 2014, pages 375–378, 2014. IEEE Computer Society
Analysis and clustering of model clones: An automotive industrial experience [link]Paper   doi   link   bibtex   4 downloads  
Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models. Alalfi, M. H.; Rapos, E. J.; Stevenson, A.; Stephan, M.; Dean, T. R.; and Cordy, J. R. In 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29 - October 3, 2014, pages 486–490, 2014. IEEE Computer Society
Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models [link]Paper   doi   link   bibtex   3 downloads  
Towards a Taxonomy for Simulink Model Mutations. Stephan, M.; Alalfi, M. H.; and Cordy, J. R. In Seventh IEEE International Conference on Software Testing, Verification and Validation, ICST 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, USA, pages 206–215, 2014. IEEE Computer Society
Towards a Taxonomy for Simulink Model Mutations [link]Paper   doi   link   bibtex   3 downloads  
  2013 (4)
Using mutation analysis for a model-clone detector comparison framework. Stephan, M.; Alalfi, M. H.; Stevenson, A.; and Cordy, J. R. In Notkin, D.; Cheng, B. H. C.; and Pohl, K., editor(s), 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013, pages 1261–1264, 2013. IEEE Computer Society
Using mutation analysis for a model-clone detector comparison framework [link]Paper   doi   link   bibtex   3 downloads  
A Framework for Migrating Web Applications to Web Services. Almonaies, A. A.; Alalfi, M. H.; Cordy, J. R.; and Dean, T. R. In Daniel, F.; Dolog, P.; and Li, Q., editor(s), Web Engineering - 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings, volume 7977, of Lecture Notes in Computer Science, pages 384–399, 2013. Springer
A Framework for Migrating Web Applications to Web Services [link]Paper   doi   link   bibtex   3 downloads  
An approach to clone detection in behavioural models. Antony, E. P.; Alalfi, M. H.; and Cordy, J. R. In Lämmel, R.; Oliveto, R.; and Robbes, R., editor(s), 20th Working Conference on Reverse Engineering, WCRE 2013, Koblenz, Germany, October 14-17, 2013, pages 472–476, 2013. IEEE Computer Society
An approach to clone detection in behavioural models [link]Paper   doi   link   bibtex   3 downloads  
  2012 (6)
Models are code too: Near-miss clone detection for Simulink models. Alalfi, M. H.; Cordy, J. R.; Dean, T. R.; Stephan, M.; and Stevenson, A. In 28th IEEE International Conference on Software Maintenance, ICSM 2012, Trento, Italy, September 23-28, 2012, pages 295–304, 2012. IEEE Computer Society
Models are code too: Near-miss clone detection for Simulink models [link]Paper   doi   link   bibtex   3 downloads  
Recovering Role-Based Access Control Security Models from Dynamic Web Applications. Alalfi, M. H.; Cordy, J. R.; and Dean, T. R. In Brambilla, M.; Tokuda, T.; and Tolksdorf, R., editor(s), Web Engineering - 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings, volume 7387, of Lecture Notes in Computer Science, pages 121–136, 2012. Springer
Recovering Role-Based Access Control Security Models from Dynamic Web Applications [link]Paper   doi   link   bibtex   3 downloads  
Near-miss model clone detection for Simulink models. Alalfi, M. H.; Cordy, J. R.; Dean, T. R.; Stephan, M.; and Stevenson, A. In Cordy, J. R.; Inoue, K.; Koschke, R.; Krinke, J.; and Roy, C. K., editor(s), Proceeding of the 6th International Workshop on Software Clones, IWSC 2012, Zurich, Switzerland, June 4, 2012, pages 78–79, 2012. IEEE Computer Society
Near-miss model clone detection for Simulink models [link]Paper   doi   link   bibtex   3 downloads  
Towards qualitative comparison of Simulink model clone detection approaches. Stephan, M.; Alalfi, M. H.; Stevenson, A.; and Cordy, J. R. In Cordy, J. R.; Inoue, K.; Koschke, R.; Krinke, J.; and Roy, C. K., editor(s), Proceeding of the 6th International Workshop on Software Clones, IWSC 2012, Zurich, Switzerland, June 4, 2012, pages 84–85, 2012. IEEE Computer Society
Towards qualitative comparison of Simulink model clone detection approaches [link]Paper   doi   link   bibtex   3 downloads  
Automated verification of role-based access control security models recovered from dynamic web applications. Alalfi, M. H.; Cordy, J. R.; and Dean, T. R. In Tilley, S. R.; Distante, D.; and Rossi, G., editor(s), 14th IEEE International Symposium on Web Systems Evolution, WSE 2012, Trento, Italy, September 28, 2012, pages 1–10, 2012. IEEE Computer Society
Automated verification of role-based access control security models recovered from dynamic web applications [link]Paper   doi   link   bibtex   3 downloads  
Normalizing object-oriented class styles in JavaScript. Gama, W.; Alalfi, M. H.; Cordy, J. R.; and Dean, T. R. In Tilley, S. R.; Distante, D.; and Rossi, G., editor(s), 14th IEEE International Symposium on Web Systems Evolution, WSE 2012, Trento, Italy, September 28, 2012, pages 79–83, 2012. IEEE Computer Society
Normalizing object-oriented class styles in JavaScript [link]Paper   doi   link   bibtex   3 downloads  
  2011 (1)
Towards a framework for migrating web applications to web services. Almonaies, A. A.; Alalfi, M. H.; Cordy, J. R.; and Dean, T. R. In Ng, J. W.; Couturier, C.; Litoiu, M.; and Stroulia, E., editor(s), Center for Advanced Studies on Collaborative Research, CASCON '11, Toronto, ON, Canada, November 7-10, 2011, pages 229–241, 2011. IBM / ACM
Towards a framework for migrating web applications to web services [link]Paper   link   bibtex   3 downloads  
  2010 (3)
A Verification Framework for Access Control in Dynamic Web Applications. Alalfi, M. H. Ph.D. Thesis, Queen's University at Kingston, Ontario, Canada, 2010.
A Verification Framework for Access Control in Dynamic Web Applications [link]Paper   link   bibtex   3 downloads  
Automating Coverage Metrics for Dynamic Web Applications. Alalfi, M. H.; Cordy, J. R.; and Dean, T. R. In Capilla, R.; Ferenc, R.; and Dueñas, J. C., editor(s), 14th European Conference on Software Maintenance and Reengineering, CSMR 2010, 15-18 March 2010, Madrid, Spain, pages 51–60, 2010. IEEE Computer Society
Automating Coverage Metrics for Dynamic Web Applications [link]Paper   doi   link   bibtex   3 downloads  
Analyzing natural-language artifacts of the software process. Hasan, M.; Stroulia, E.; Barbosa, D.; and Alalfi, M. H. In Marinescu, R.; Lanza, M.; and Marcus, A., editor(s), 26th IEEE International Conference on Software Maintenance (ICSM 2010), September 12-18, 2010, Timisoara, Romania, pages 1–5, 2010. IEEE Computer Society
Analyzing natural-language artifacts of the software process [link]Paper   doi   link   bibtex   3 downloads  
  2009 (4)
Modelling methods for web application verification and testing: state of the art. Alalfi, M. H.; Cordy, J. R.; and Dean, T. R. Softw. Test. Verification Reliab., 19(4): 265–296. 2009.
Modelling methods for web application verification and testing: state of the art [link]Paper   doi   link   bibtex   3 downloads  
A verification framework for access control in dynamic web applications. Alalfi, M. H.; Cordy, J. R.; and Dean, T. R. In Desai, B. C.; Leung, C. K.; and Ormandjieva, O., editor(s), Canadian Conference on Computer Science & Software Engineering, C3S2E 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings, of ACM International Conference Proceeding Series, pages 109–113, 2009. ACM
A verification framework for access control in dynamic web applications [link]Paper   doi   link   bibtex   3 downloads  
Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications. Alalfi, M. H.; Cordy, J. R.; and Dean, T. R. In Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings, pages 287–294, 2009. IEEE Computer Society
Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications [link]Paper   doi   link   bibtex   3 downloads  
WAFA: Fine-grained dynamic analysis of web applications. Alalfi, M. H.; Cordy, J. R.; and Dean, T. R. In Wong, K.; Zou, Y.; and Wu, J., editor(s), Proceedings of the 11th IEEE International Symposium on Web Systems Evolution, WSE 2009, 25-26 September 2009, Edmonton, Alberta, Canada, pages 141–150, 2009. IEEE Computer Society
WAFA: Fine-grained dynamic analysis of web applications [link]Paper   doi   link   bibtex   3 downloads  
  2008 (1)
SQL2XMI: Reverse Engineering of UML-ER Diagrams from Relational Database Schemas. Alalfi, M. H.; Cordy, J. R.; and Dean, T. R. In Hassan, A. E.; Zaidman, A.; and Penta, M. D., editor(s), WCRE 2008, Proceedings of the 15th Working Conference on Reverse Engineering, Antwerp, Belgium, October 15-18, 2008, pages 187–191, 2008. IEEE Computer Society
SQL2XMI: Reverse Engineering of UML-ER Diagrams from Relational Database Schemas [link]Paper   doi   link   bibtex   3 downloads  
  2007 (1)
A Survey of Analysis Models and Methods in Website Verification and Testing. Alalfi, M. H.; Cordy, J. R.; and Dean, T. R. In Baresi, L.; Fraternali, P.; and Houben, G., editor(s), Web Engineering, 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings, volume 4607, of Lecture Notes in Computer Science, pages 306–311, 2007. Springer
A Survey of Analysis Models and Methods in Website Verification and Testing [link]Paper   doi   link   bibtex   6 downloads