Shadi Abdul Khalek

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Bounded exhaustive test input generation from hybrid invariants.
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.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Mixed constraints for test input generation - An initial exploration.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Efficiently Running Test Suites Using Abstract Undo Operations.
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Systematic Testing of Database Engines Using a Relational Constraint Solver.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010
Automated SQL query generation for systematic testing of database engines.
Proceedings of the ASE 2010, 2010

2008
Query-Aware Test Generation Using a Relational Constraint Solver.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008


  Loading...