M. Larson and F. Bengzon. The finite element method: theory, implementation, and applications, Springer Verlag(ISBN: 978-3-642-33286-9), 2013.

S. Ali, M. Z. Iqbal, A. Arcuri, and L. Briand. Generating Test Data from OCL Constraints with Search Techniques, Accepted for publication in IEEE Transactions on Software Engineering, 2013.

R. Behjati, T. Yue, L. Briand, and B. Selic. SimPL: A Product-Line Modeling Methodology for Families of Integrated Control Systems, Information and Software Technology, 55(3):607–629, 2013.

J. Chai, H. Su, M. Wen, X. Cai, N. Wu, and C. Zhang. Resource-efficient utilization of CPU/GPU-based heterogeneous supercomputers for Bayesian phylogenetic inference, Accepted for publication in The Journal of Supercomputing, 2013.

O. Elvetun and B. F. Nielsen. A general and effective solution method for PDE-constrained optimization problems with box constraints, Submitted to journal for publication, 2013.

G. Fraser and A. Arcuri. Choosing a Sound Case Study for Software Testing Research, journal, 2013.

G. Fraser and A. Arcuri. Handling Test Length Bloat, Accepted for publication in Software Testing, Verification and Reliability, 2013.

Ø. Hjelle, S. A. Petersen, and A. M. Bruaset. A Numerical Framework for Modelling Folds in Structural Geology, Mathematical Geosciences 45(3):255-276, 2013.

Z. Iqbal, A. Arcuri, and L. Briand. Environment Modeling and Simulation for Automated Testing of Soft Real-Time Embedded Software, Accepted for publication in Software and Systems Modeling, 2013.

M. Jørgensen. Relative Estimation of Software Development Effort: It Matters With What and How You Compare , Accepted for publication in IEEE Software, 2013.

M. Jørgensen. Failure Factors of Outsourced Software Projects, Submitted to a journal, 2013.

M. Jørgensen. The Influence of Selection Bias on Effort Overruns in Software Development Projects, Accepted for publication in Information and Software Technology, 2013.

Kent-A. Mardal, G. Rutkowska, S. Linge, and V. Haughton. Estimation of CSF Flow Resistance in the Upper Cervical Spine, The Neuroradiology journal 3(2):49-53, 2013.

Kent-A. Mardal, J. Schoberl, and R. Winther. A uniformly stable Fortin operator for the Taylor–Hood element, Numerische Mathematik 123(3):537-551, 2013.

B. F. Nielsen and Kent-A. Mardal. Analysis of the Minimal Residual Method applied to ill-posed optimality systems, SIAM Journal on Scientific Computing 35(2):A785-A814, 2013.

B. F. Nielsen, M. Lysaker, and P. Grøttum. Computing ischemic regions in the heart with the bidomain model; first steps towards validation, IEEE Transactions on Medical Imaging 32(6):1-12, 2013.

D. A. Steinman et al. and K. Valen-Sendstad. Variability of Computational Fluid Dynamics Solutions for Pressure and Flow in a Giant Aneurysm: The ASME 2012 Summer Bioengineering Conference CFD Challenge., Journal of Biomedical Engineering 135(2), 2013.

J. Sundnes, S. Wall, H. Osnes, T. Thorvaldsen, and A. McCulloch. Improved discretisation and linearisation of active tension in strongly coupled cardiac electro-mechanics simulations, Computer methods in biomechanics and biomedical engineering 0(0):1-12, 2013.

K. Valen-Sendstad, Kent-A. Mardal, and D. A. Steinman. High-resolution computational fluid dynamics detects high-frequency velocity fluctuations in bifurcation, but not sidewall, aneurysms of the middle cerebral artery, Journal of Biomechanics 18;(46(2)):402-7, 2013.

L. Vynnytska, M. E. Rognes, and S. R. Clark. Benchmarking FEniCS for Mantle Convection Simulations, Computers & Geosciences 50(1):95–105, 2013.

W. Wei, S. Clark, H. Su, M. Wen, and X. Cai. Balancing efficiency and accuracy for sediment transport simulations, Submitted to journal, 2013.

M. Wilhelms, H. Hettmann, M. Maleckar, J. Koivumäki, O. Dössel, and G. Seemann. Benchmarking electrophysiological models of human atrial myocytes, Frontiers in Computational Physiology and Medicine 3(487), 2013.

A. Yamashita. Assessing the Capability of Code Smells to Explain Maintenance Problems: An Empirical Study Combining Quantitative and Qualitative Data, Journal of Empirical Software Engineering(online), 2013.

A. Yamashita and S. Counsell. Code smells as system-level indicators of maintainability: An Empirical Study, Accepted for publication in Journal of Systems and Software, 2013.

T. Yue, L. Briand, and Y. Labiche. Facilitating the Transition from Use Case Models to Analysis Models: Approach and Experiments, Transactions on Software Engineering and Methodology (TOSEM) 22(1), 2013.

S. Ali and T. Yue. A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect State Machines: Results from a Series of Controlled Experiments, In: Annual International Computer Software & Applications Conference (COMPSAC), ed. by Sahra Sedighsarvestani, Hiroyuki Ohsaki, Axel Kuepper, IEEE, 2013.

S. Ali, T. Yue, and L. Briand. Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment , In: International Conference on Software Testing, Verification and Validation (ICST), 2013.

T. Dreibholz. The NorNet Project: A Research Platform for Robust and Secure Networks, In: Proceedings of the 7. Essener Workshop "Neue Herausforderungen in der Netzsicherheit" (EWNS 2013), ed. by Yves Igor Jerschow, University of Duisburg-Essen, Institute for Experimental Mathematics, 2013.

T. Dreibholz and E. G. Gran. Design and Implementation of the NorNet Core Research Testbed for Multi-Homed Systems, In: Proceedings of the 3nd International Workshop on Protocols and Applications with Multi-Homing Support (PAMS), Barcelona, Catalonia/Spain, 2013.

G. Fraser and A. Arcuri. 1600 Faults in 100 Projects: Automatically Finding Faults While Achieving High Coverage with EvoSuite, In: conference, 2013.

G. Fraser and A. Arcuri. EvoSuite at the SBST 2013 Tool Competition, In: SBST workshop, 2013.

G. Fraser and A. Arcuri. Efficient Mutation Testing using Whole Test Suite Generation, In: conference, 2013.

G. Fraser and A. Arcuri. EvoSuite: On The Challenges of Test Case Generation in the Real World, In: IEEE International Conference on Software Testing, Verification and Validation (ICST), 2013.

G. Fraser, M. Staats, P. McMinn, A. Arcuri, and F. Padberg. Does Automated White-Box Test Generation Really Help Software Testers?, In: ACM International Conference on Software Testing and Analysis (ISSTA), 2013.

J. P. Galeotti, G. Fraser, and A. Arcuri. Improving Search-based Test Suite Generation with Dynamic Symbolic Execution, In: conference, 2013.

P. Halvorsen, S. Særgrov, A. Mortensen, D. Kai Christen Kristensen, A. Eichhorn, M. Stenhaug, S. Dahl, H. K. Stensland, V. R. Gaddam, C. Griwodz, and D. Johansen. Bagadus: An Integrated System for Arena Sports Analytics – A Soccer Case Study –, In: Proceedings of the 4th annual ACM conference on Multimedia Systems (MMSYS), ed. by Roger Zimmermann, pp. 48-59, ACM (ISBN: 978-1-4503-1894-5), 2013.

S. Hesari, R. Behjati, and T. Yue. Towards a Systematic Requirement-Based Test Generation Framework: Industrial Challenges and Needs , In: 21st IEEE Requirements Engineering Conference, 2013.

M. Jørgensen. A Strong Focus on Low Price When Selecting Software Providers Increases the Likelihood of Failure in Software Outsourcing Projects, In: EASE 2013, 2013.

L. Moonen, R. Behjati, R. Rabiser, M. Acharya, B. Tekinerdogan, and K. Kang. First International Workshop on Multi Product Line Engineering (MultiPLE 2013), In: 17th International Software Product Line Conference (SPLC 2013), 2013.

L. Moonen, A. Yamashita, T. Hall, and S. Counsell. ARCS: Aligning Research on Code Smells, In: 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013), 2013.

S. Nair, J. L. d. l. Vara, M. Sabetzadeh, and L. Briand. Classification, Structuring, and Assessment of Evidence For Safety: A Systematic Literature Review, In: ICST 2013, 2013.

H. Su, N. Wu, M. Wen, C. Zhang, and X. Cai. Performance of Sediment Transport Simulations on NVIDIA’s Kepler Architecture, In: Proceedings of the International Conference on Computational Science, ICCS 2013, ed. by , Elsevier, 2013.

H. Su, N. Wu, M. Wen, C. Zhang, and X. Cai. On the GPU Performance of 3D Stencil Computations Implemented in OpenCL, In: Proceedings of International Supercomputing Conference, ISC 2013, ed. by , Springer, 2013.

J. L. d. l. Vara, J. Sanchez, and O. Pastor. On the Use of Goal Models and Business Process Models for Elicitation of System Requirements, In: Enterprise, Business-Process and Information Systems Modeling (BPMDS/EMMSAD 2013), ed. by Selmin Nurcan, Erik Proper, Pnina Soffer, John Krogstie, Rainer Schmidt, Terry Halpin, Ilia Bider, vol. LNBIP 147, Springer, 2013.

S. Wang, S. Ali, and A. Gotlieb. Minimizing Test Suites in Software Product Lines Using Weight-based Genetic Algorithms, In: Gentic and Evolutionary Computation Conference (GECCO), ed. by ACM, ACM, 2013.

A. Yamashita and L. Moonen. Assembling Cases in Multiple-Case Studies: Principles, Potentiality and Practical Considerations, In: Submitted to conference, 2013.

A. Yamashita and L. Moonen. Surveying Developer Knowledge and Interest in Code Smells through Online Freelance Marketplaces, In: User Evaluations for Software Engineering Researchers (USER), ed. by Caitlin Sadowski and Andrew Begel, IEEE, 2013.

A. Yamashita and L. Moonen. Exploring the Impact of Inter-Smell Relations on Software Maintainability: An Empirical Study, In: 35th International Conference on Software Engineering (ICSE), ACM/IEEE, 2013.

H. P. Langtangen, Kent-A. Mardal, and P. Røtnes. Escaping the Zombie Threat by Mathematics, In: Zombies in the Academy: living death in higher education, ed. by Andrew Whelan, Chris Moore and Ruth Walker. University of Chicago Press, chap. 3.6 , pp. x-y, 2013.

S. Nair, J. L. d. l. Vara, and S. Sen. Traceability Research at the Requirements Engineering Conference: Results and Extracted Data, Simula Research labs, 2013.