Primary tabs

Most recent publications

In In ICSOFT-EA 2016, 11th Int. Conf. on Software Engineering and Applications, Lisbon, July 2016. INSTICC Press, 2016.
Proceedings, refereed
2016
In Int. Joint Conf. on Artificial Intelligence (IJCAI-16) - Sister Conference Best Paper Track. New York City, 2016.
Proceedings, refereed
2016
In Dagsthul Seminar (Symbolic Methods and Constraint Solving) ., 2014.
Talks, contributed
2014
In Université de Montpellier, France - LIRMM., 2015.
Talks, invited
2015

Selected publications

In Twenty-Eighth Conference on Innovative Applications of Artificial Intelligence (IAAI-16), Phoenix, AZ, USA, Feb. 2016., 2016.
Proceedings, refereed
2016
ACM Transactions on Software Engineering and Methodology (TOSEM) 25, no. 1 (2015): 1-37.
Journal Article
2015
In Proceedings of Principles of Constraint Programming (CP'14), Lyon, France, Sep. 2014 - Best Application Track Paper. Zwitzerland: LNCS, 2014.
Proceedings, refereed
2014
In Proceedings of Int. Symp. on Soft. Testing and Analysis (ISSTA'14), San José, CA, USA, Jul. 2014. New York, USA: ACM, 2014.
Proceedings, refereed
2014

News

Erik Rogstad has defended his PHD
On Friday 29th of January, Erik Rogstad defended his PhD thesis "Automated regression testing of database applications". The defense took place at 13:00 in Storstua at Simula...

Awards

Best Application Paper Award for "Using CP in automatic test generation for ABB robotics' paint control systems" In Principles and Practice of Constraint Programming (CP'14), Lyon, France, Sep. 2014.
Best Application Paper Award for "Automated test case selection using feature model: An industrial case study." in ACM/IEEE 16th Int. Conf. on Model Driven Eng. Languages and Systems (MODELS'13), Miami, FL, Sep. 2013

Find publication

Export 58 results:
2016

Journal Article

INFORMS Journal of Computing (JoC) 28, no. 1 (2016): 31-46.
Journal Article | Status: Published
Information and Software Technology 71 (2016): 129-146.
Journal Article | Status: Published

Proceedings, refereed

In Twenty-Eighth Conference on Innovative Applications of Artificial Intelligence (IAAI-16), Phoenix, AZ, USA, Feb. 2016., 2016.
Proceedings, refereed | Status: Published
In In ICSOFT-EA 2016, 11th Int. Conf. on Software Engineering and Applications, Lisbon, July 2016. INSTICC Press, 2016.
Proceedings, refereed | Status: Published
In Int. Joint Conf. on Artificial Intelligence (IJCAI-16) - Sister Conference Best Paper Track. New York City, 2016.
Proceedings, refereed | Status: Published
2015

Journal Article

Information and Software Technology 58 (2015): 403-418.
Journal Article | Status: Published
ACM Transactions on Software Engineering and Methodology (TOSEM) 25, no. 1 (2015): 1-37.
Journal Article | Status: Published
Information and Software Technology 57 (2015): 169-185.
Journal Article | Status: Published
International Journal of System Assurance Engineering and Management (2015): 1-25.
Journal Article | Status: Published