Publications

S. Ali. Scalable Model-based Robustness Testing: Novel Methodologies and Industrial Application, PhD thesis, University of Oslo, 2012.

B. Bogdanski, Sven-A. Reinemo, F. O. Sem-Jacobsen, and E. G. Gran. sFtree: A fully connected and deadlock free switch-to-switch routing algorithm for fat-trees, Accepted for publication in ACM Transactions on Architecture and Code Optimization, 2012.

G. Fraser and A. Arcuri. Whole Test Suite Generation, Accepted for publication in IEEE Transactions on Software Engineering, 2012.

T. Halkjelsvik and M. Jørgensen. From origami to software development: A review of studies on judgment-based predictions of performance time, Accepted for publication in Psychological Bulletin, 2012.

M. Jørgensen and S. Grimstad. Software Development Estimation Biases: The Role of Interdependence, Accepted for publication in IEEE Transactions on Software Engineering, 2012.

M. Jørgensen, T. Halkjelsvik, and B. Kitchenham. Is there a magnitude bias in project cost estimation? , Accepted for publication in International Journal of Project Management, 2012.

S. Nejati, M. Sabetzadeh, D. Falessi, L. Briand, and C. Thierry. A SysML-Based Approach to Traceability Management and Design Slicing in Support of Safety Certification: Framework, Tool Support, and Case Studies, Accepted for publication in Information and Software Technology, 2012.

X. Wang, T. Kwon, Y. Choi, M. Chen, and Y. Zhang. Characterizing the Gaming Traffic of World of Warcraft: From Game Scenarios to Network Access Technologies, IEEE Network Magazine, special issue on "Network Traffic Monitoring and Analysis" 26(1):27-34, 2012.

S. Ali and T. Yue. Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines for Robustness Testing, In: International Conference on Aspect-Oriented Software Development (AOSD 2012), ACM, 2012.

A. Elmokashfi, A. Kvalbein, J. Xiang, and K. R. Evensen. Characterizing delays in Norwegian 3G networks, In: PAM 2012, 2012.

G. Fraser and A. Arcuri. Sound Empirical Evidence in Software Testing, In: ACM/IEEE International Conference on Software Engineering (ICSE), 2012.

G. Fraser and A. Arcuri. The Seed is Strong: Seeding Strategies in Search-Based Software Testing, In: IEEE International Conference on Software Testing, Verification and Validation (ICST), 2012.

E. G. Gran, Sven-A. Reinemo, O. Lysne, T. Skeie, E. Zahavi, and G. Shainer. Exploring the Scope of the InfiniBand Congestion Control Mechanism, In: 2012 IEEE International Symposium on Parallel & Distributed Processing (IPDPS), 2012.

H. P. Langtangen, Kent-A. Mardal, and P. Røtnes. Escaping the Zombie Threat by Mathematics, Preprint, 2012.

H. P. Langtangen. A Primer on Scientific Programming with Python, Springer (second edition)(ISBN: ), 2011.

A. Logg, Kent-A. Mardal, and G. N. Wells. Automated Solution of Differential Equations by the Finite Element Method, Springer(ISBN: 78-3-642-23098-1), 2011.

A. Elmokashfi. On BGP Inter-domain Routing: an Investigation of Scalability with Respect to Churn , PhD thesis, University of Oslo, 2011.

J. B. Haga. Numerical methods for basin-scale poroelastic modelling, PhD thesis, University of Oslo, 2011.

H. Hemmati. Similarity-Based Test Case Selection: Toward Scalable and Practical Model-Based Testing, PhD thesis, Simula Research Laboratory and Informatic Department, University of Oslo, 2011.

K. Selim. Adaptive Finite Element Methods for Fluid–Structure Interaction and Incompressible Flow, PhD thesis, University of Oslo, 2011.

K. Valen-Sendstad. Computational Cerebral Hemodynamics, PhD thesis, University of Oslo, 2011.

J. Xiang. Resource Management and Optimization for Cognitive Radio Networks, PhD thesis, Simula Research Laboratory, 2011.

J. Al Dallal and L. Briand. A Precise Method-Method Interaction-Based Cohesion Metric for Object-Oriented Classes, Accepted for publication in ACM Transactions on Software Engineering and Methodology, 2011.

O. Al-Khayat and H. P. Langtangen. Computational aspects of multiscale simulation with the lumped particle framework, Accepted for publication in Communications in Computational Physics, 2011.

O. Al-Khayat, A. M. Bruaset, and H. P. Langtangen. Particle collisions in a lumped particle model , Communications in Computational Physics 10(4):823-843, 2011.

S. Ali, L. Briand, and H. Hemmati. Modeling Robustness Behavior Using Aspect-Oriented Modeling to Support Robustness Testing of Industrial Systems, Accepted for publication in the Journal of Software and Systems Modeling, Springer, 2011.

A. Arcuri. It Really Does Matter How You Normalise the Branch Distance in Search Based Software Testing, Accepted for publication in Software Testing, Verification and Reliability, 2011.

A. Arcuri. Evolutionary Repair of Faulty Software, Applied Soft Computing 11(4):3494–3514, 2011.

A. Arcuri and L. Briand. Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing , Accepted for publication in IEEE Transactions on Software Engineering, 2011.

A. Arcuri, M. Z. Iqbal, and L. Briand. Random Testing: Theoretical Results and Practical Implications., Accepted for publication in IEEE Transactions on Software Engineering, 2011.

G. Bergersen and Jan-E. Gustafsson. Programming Skill, Knowledge and Working Memory Among Professional Software Developers from an Investment Theory Perspective, Journal of Individual Differences 32(4):201-209, 2011.

L. Briand, D. Falessi, S. Nejati, M. Sabetzadeh, and T. Yue. Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment, Submitted to a journal, 2011.

K. Børte, S. Ludvigsen, and A. Mørch. The role of concepts in professional work: Unpacking the “magic step” in software effort estimation, Submitted to a journal, 2011.

C. Campolo, A. Molinaro, A. Vinel, and Y. Zhang. Modelling Prioritized Broadcasting in Multi-Channel Vehicular Networks, Accepted for publication in IEEE Transactions on Vehicular Technology, 2011.

Y. Cheng, P. Kekenes-Huskey, J. E. Hake, M. J. Holst, A. J. McGammon, and A. P. Michailova. From Molecular Electro-Diffusion to Sub-Cellular Signaling Transduction, Submitted to Computational Science & Discovery, 2011.

S. R. Clark, C. Tarrou, A. M. Bruaset, J. Skogseid, M. Smethurst, A. K. Thurmond, and T. V. Stensby. On the fly visualization of multilayer geoscientific datasets using the 4D Lithosphere Model (4DLM), Submitted to Computers & Geoscience, 2011.

A. Elmokashfi, A. Kvalbein, and C. Dovrolis. BGP churn evolution: A perspective from the core, IEEE/ACM Transactions on Networking PP(99), 2011.

K. R. Evensen, D. Kaspar, C. Griwodz, P. Halvorsen, A. F. Hansen, and P. E. Engelstad. Using bandwidth aggregation to improve the performance of quality-adaptive streaming, Accepted for publication in Signal Processing: Image Communication Special issue, 2011.

D. Falessi, M. Sabetzadeh, L. Briand, E. Turella, T. Coq, and R. K. Panesar-Walawege. Planning for Safety Evidence Collection: A Tool-Supported Approach Based on Modeling of Standards Compliance Information, IEEE Software pp(99), 2011.

J. Flich, T. Skeie, A. Mejia, O. Lysne, P. López, A. Robles, J. Duato, M. Koibuchi, T. Rokicki, and J. Sancho. A Survey and Evaluation of Topology Agnostic Routing Algorithms, Accepted for publication in IEEE Transactions on Parallel and Distributed Systems, 2011.

G. Fraser and A. Arcuri. Handling Test Length Bloat, Submitted to journal, 2011.

K. Frouchni, L. Briand, Y. Labiche, L. Grady, and R. Subramanyan. Automating Image Segmentation Verification and Validation by Learning Test Oracles, Accepted for publication in Information and Software Technology (Elsevier), 2011.

J. B. Haga, H. Osnes, and H. P. Langtangen. Efficient block preconditioners for the coupled equations of pressure and deformation in highly discontinuous media, International Journal for Numerical and Analytical Methods in Geomechanics 35(13):1466-1482, 2011.

J. B. Haga, H. Osnes, and H. P. Langtangen. On the causes of pressure oscillations in low-permeable and low-compressible porous media, International Journal of Analytical and Numerical Methods in Geomechanics( ), 2011.

T. Halkjelsvik, M. Jørgensen, and K. H. Teigen. To Read Two Pages, I Need 5 Minutes, but Give Me 5 Minutes and I Will Read Four: How to Change Productivity Estimates by Inverting the Question, Applied Cognitive Psychology 25(2):314-323, 2011.

M. Hanslien, R. Artebrant, A. Tveito, G. T. Lines, and X. Cai. Stability of two time-integrators for the Aliev-Panfilov system, International Journal of Numerical Analysis and Modeling 8(3):427-442, 2011.

H. Hemmati, A. Arcuri, and L. Briand. Achieving Scalable Model-Based Testing Through Test Case Diversity , Accepted for publication in ACM Transactions on Software Engineering and Methodology (TOSEM), 2011.

S. Huang, H. Chen, and Y. Zhang. Optimal Power Allocation for Spectrum Sensing and Data Transmission in Cognitive Relay Networks, Accepted for publication in IEEE Wireless Communications Letters, 2011.

J. Jiang, K. Johnson, K. Valen-Sendstad, Kent-A. Mardal, O. Wieben, and C. Strother. Flow Characteristics in a Canine Aneurysm Model: A Comparison of 4-D Accelerated Phase-Contrast MR Measurements and Computational Fluid Dynamics Simulations, Medical Physics 38(11):6300-6313, 2011.

T. Jiang, H. Wang, and Y. Zhang. Modeling Channel Allocation for Multimedia Transmission over Infrastructure based Cognitive Radio Networks, IEEE Systems Journal, special issue on "Multimedia Communications Systems", 5(3):417-426, 2011.