Shadi Abdul Khalek

According to our database, Shadi Abdul Khalek authored at least 7 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Bounded exhaustive test input generation from hybrid invariants.

Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2011

TestEra: A tool for testing Java programs using alloy specifications.

Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Mixed constraints for test input generation - An initial exploration.

Shadi Abdul Khalek, Vidya Priyadarshini Narayanan, Sarfraz Khurshid

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Efficiently Running Test Suites Using Abstract Undo Operations.

Shadi Abdul Khalek, Sarfraz Khurshid

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Systematic Testing of Database Engines Using a Relational Constraint Solver.

Shadi Abdul Khalek, Sarfraz Khurshid

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Automated SQL query generation for systematic testing of database engines.

Shadi Abdul Khalek, Sarfraz Khurshid

Proceedings of the ASE 2010, 2010

2008

Query-Aware Test Generation Using a Relational Constraint Solver.

Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, Sarfraz Khurshid

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008