Mainul Islam

According to our database, Mainul Islam authored at least 5 papers between 2010 and 2015.

Collaborative distances:

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

2015

Automatic Test Case Generation with Dynamic Symbolic Execution for Programs that are coded against Interfaces and Annotations or Use Native Code.

Mainul Islam

PhD thesis, 2015

An evaluation carbon footprint in fly ash based geopolymer cement and ordinary Portland cement manufacture.

Clifford C. S. Chan, David Stuart Thorpe, Mainul Islam

Proceedings of the 2015 IEEE International Conference on Industrial Engineering and Engineering Management, 2015

An evaluation of life long fly ash based geopolymer cement and ordinary Portland cement costs using extended life cycle cost method in Australia.

Clifford C. S. Chan, David Stuart Thorpe, Mainul Islam

Proceedings of the 2015 IEEE International Conference on Industrial Engineering and Engineering Management, 2015

2014

Generating Test Cases for Programs that Are Coded against Interfaces and Annotations.

Mainul Islam, Christoph Csallner

ACM Trans. Softw. Eng. Methodol., 2014

2010

Dsc+Mock: a test case + mock class generator in support of coding against interfaces.

Mainul Islam, Christoph Csallner

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), 2010